integer test_z101


integer test_z101 = 0


function initGlobals474() { 
}


function main893() { 
    initGlobals474();
    init_test774();
}


function config110() { 
}


function init_test774() { 
    test_z_101 = 0;
    if ((test_z_101 == 1) and sideEffect151()) {
    } else {
        testSuccess150();
    };
}


function sideEffect151() returns boolean { 
    test_z_101 = (test_z_101 + 1);
    return true;
}


IS_NATIVE function testSuccess150() { 
}