integer test_x959


integer test_x959 = 1


function initGlobals118() { 
}


function main497() { 
    initGlobals118();
    init_test192();
}


function config695() { 
}


function init_test192() { 
    local integer y465
    test_x_959 = 1;
    y_465 = (test_x_959 + sideEffect117(2));
    if (y_465 == 3) {
        testSuccess187();
    } else {
    };
}


function sideEffect117(integer r140) returns integer { 
    test_x_959 = 4;
    return r_140;
}


IS_NATIVE function testSuccess187() { 
}