integer Test_ghs721


integer Test_ghs721 = 12


function initGlobals418() { 
}


function main177() { 
    initGlobals418();
    init_Test175();
}


function config648() { 
}


function init_Test175() { 
    Test_ghs_721 = 12;
    if nonInlinable920(6) {
        Test_ghs_721 = 0;
        testFail211("bad");
    } else {
        Test_ghs_721 = 0;
        if (Test_ghs_721 == 0) {
            testSuccess124();
        } else {
        };
    };
}


function nonInlinable920(integer x210) returns boolean { 
    Test_ghs_721 = (Test_ghs_721 + 6);
    if (x_210 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail211(string msg700) { 
}


IS_NATIVE function testSuccess124() { 
}