integer Test_ghs462


integer Test_ghs462 = 12


function initGlobals143() { 
}


function main128() { 
    initGlobals143();
    init_Test126();
}


function config192() { 
}


function init_Test126() { 
    local integer x648
    Test_ghs_462 = 12;
    x_648 = 6;
    if nonInlinable815(x_648) {
        Test_ghs_462 = 0;
        testFail159("bad");
    } else {
        Test_ghs_462 = 0;
        if (Test_ghs_462 == 0) {
            testSuccess561();
        } else {
        };
    };
}


function nonInlinable815(integer x236) returns boolean { 
    Test_ghs_462 = (Test_ghs_462 + 6);
    if (x_236 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail159(string msg114) { 
}


IS_NATIVE function testSuccess561() { 
}