integer test_z141


integer test_z141 = 0


function initGlobals202() { 
}


function main208() { 
    initGlobals202();
    init_test130();
}


function config157() { 
}


function init_test130() { 
    test_z_141 = 0;
    if ((test_z_141 == 1) and sideEffect746()) {
    } else {
        testSuccess617();
    };
}


function sideEffect746() returns boolean { 
    test_z_141 = (test_z_141 + 1);
    return true;
}


IS_NATIVE function testSuccess617() { 
}