integer test_x154


integer test_x154 = 1


function initGlobals150() { 
}


function main202() { 
    initGlobals150();
    init_test673();
}


function config134() { 
}


function init_test673() { 
    test_x_154 = 1;
    if ((test_x_154 + sideEffect177(2)) == 3) {
        testSuccess187();
    } else {
    };
}


function sideEffect177(integer r109) returns integer { 
    test_x_154 = 4;
    return r_109;
}


IS_NATIVE function testSuccess187() { 
}