integer Test_ghs663


integer Test_ghs663 = 12


function initGlobals707() { 
}


function main693() { 
    initGlobals707();
    init_Test840();
}


function config832() { 
}


function init_Test840() { 
    Test_ghs_663 = 12;
    if nonInlinable123(6) {
        Test_ghs_663 = 0;
        testFail147("bad");
    } else {
        Test_ghs_663 = 0;
        if (Test_ghs_663 == 0) {
            testSuccess762();
        } else {
        };
    };
}


function nonInlinable123(integer x121) returns boolean { 
    Test_ghs_663 = (Test_ghs_663 + 6);
    if (x_121 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail147(string msg375) { 
}


IS_NATIVE function testSuccess762() { 
}