integer Test_ghs169


integer Test_ghs169 = 12


function initGlobals207() { 
}


function main300() { 
    initGlobals207();
    init_Test145();
}


function config128() { 
}


function init_Test145() { 
    Test_ghs_169 = 12;
    if nonInlinable158(6) {
        Test_ghs_169 = 0;
        testFail143("bad");
    } else {
        Test_ghs_169 = 0;
        if (Test_ghs_169 == 0) {
            testSuccess170();
        } else {
        };
    };
}


function nonInlinable158(integer x138) returns boolean { 
    Test_ghs_169 = (Test_ghs_169 + 6);
    if (x_138 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail143(string msg126) { 
}


IS_NATIVE function testSuccess170() { 
}