integer test_x528


integer test_x528 = 1


function initGlobals722() { 
}


function main473() { 
    initGlobals722();
    init_test793();
}


function config279() { 
}


function init_test793() { 
    local integer y603
    test_x_528 = 1;
    y_603 = (test_x_528 + sideEffect419(2));
    if (y_603 == 3) {
        testSuccess946();
    } else {
    };
}


function sideEffect419(integer r455) returns integer { 
    test_x_528 = 4;
    return r_455;
}


IS_NATIVE function testSuccess946() { 
}