integer Test_ghs971


integer Test_ghs971 = 12


function initGlobals568() { 
}


function main181() { 
    initGlobals568();
    init_Test190();
}


function config175() { 
}


function init_Test190() { 
    Test_ghs_971 = 12;
    if nonInlinable694(6) {
        Test_ghs_971 = 0;
        testFail142("bad");
    } else {
        Test_ghs_971 = 0;
        if (Test_ghs_971 == 0) {
            testSuccess117();
        } else {
        };
    };
}


function nonInlinable694(integer x146) returns boolean { 
    Test_ghs_971 = (Test_ghs_971 + 6);
    if (x_146 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail142(string msg140) { 
}


IS_NATIVE function testSuccess117() { 
}