integer Test_ghs142


integer Test_ghs142 = 12


function initGlobals204() { 
}


function main180() { 
    initGlobals204();
    init_Test145();
}


function config186() { 
}


function init_Test145() { 
    Test_ghs_142 = 12;
    Test_ghs_142 = 0;
    if nonInlinable194(6) {
        testFail926("bad");
    } else {
        if (Test_ghs_142 == 0) {
            testSuccess145();
        } else {
        };
    };
}


function nonInlinable194(integer x175) returns boolean { 
    if (x_175 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail926(string msg143) { 
}


IS_NATIVE function testSuccess145() { 
}