integer test_z148


integer test_z148 = 0


function initGlobals143() { 
}


function main127() { 
    initGlobals143();
    init_test309();
}


function config781() { 
}


function init_test309() { 
    test_z_148 = 0;
    if false {
        sideEffect149();
    } else {
    };
    if (test_z_148 == 0) {
        testSuccess165();
    } else {
    };
}


function sideEffect149() returns boolean { 
    test_z_148 = (test_z_148 + 1);
    return true;
}


IS_NATIVE function testSuccess165() { 
}