integer test_x213


integer test_x213 = 1


function initGlobals609() { 
}


function main165() { 
    initGlobals609();
    init_test688();
}


function config393() { 
}


function init_test688() { 
    local integer y499
    test_x_213 = 1;
    y_499 = (test_x_213 + sideEffect185(2));
    if (y_499 == 3) {
        testSuccess601();
    } else {
    };
}


function sideEffect185(integer r357) returns integer { 
    test_x_213 = 4;
    return r_357;
}


IS_NATIVE function testSuccess601() { 
}