integer Test_ghs174


integer Test_ghs174 = 12


function initGlobals902() { 
}


function main553() { 
    initGlobals902();
    init_Test214();
}


function config554() { 
}


function init_Test214() { 
    Test_ghs_174 = 12;
    if nonInlinable921(6) {
        Test_ghs_174 = 0;
        testFail851("bad");
    } else {
        Test_ghs_174 = 0;
        if (Test_ghs_174 == 0) {
            testSuccess919();
        } else {
        };
    };
}


function nonInlinable921(integer x314) returns boolean { 
    Test_ghs_174 = (Test_ghs_174 + 6);
    if (x_314 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail851(string msg205) { 
}


IS_NATIVE function testSuccess919() { 
}