integer test_x142


integer test_x142 = 1


function initGlobals872() { 
}


function main664() { 
    initGlobals872();
    init_test110();
}


function config102() { 
}


function init_test110() { 
    test_x_142 = 1;
    if ((test_x_142 + sideEffect187(2)) == 3) {
        testSuccess381();
    } else {
    };
}


function sideEffect187(integer r108) returns integer { 
    test_x_142 = 4;
    return r_108;
}


IS_NATIVE function testSuccess381() { 
}