integer test_z155


integer test_z155 = 0


function initGlobals120() { 
}


function main748() { 
    initGlobals120();
    init_test187();
}


function config183() { 
}


function init_test187() { 
    test_z_155 = 0;
    if ((test_z_155 == 1) and sideEffect172()) {
    } else {
        testSuccess718();
    };
}


function sideEffect172() returns boolean { 
    test_z_155 = (test_z_155 + 1);
    return true;
}


IS_NATIVE function testSuccess718() { 
}