integer test_z109


integer test_z109 = 0


function initGlobals589() { 
}


function main314() { 
    initGlobals589();
    init_test172();
}


function config116() { 
}


function init_test172() { 
    if ((test_z_109 == 1) and sideEffect181()) {
    } else {
        testSuccess531();
    };
}


function sideEffect181() returns boolean { 
    test_z_109 = (test_z_109 + 1);
    return true;
}


IS_NATIVE function testSuccess531() { 
}