integer Test_ghs179


integer Test_ghs179 = 12
integer wurst_stack_depth271 = 0


function initGlobals162() { 
}


function main291() { 
    initGlobals162();
    init_Test105();
}


function config140() { 
}


function init_Test105() { 
    Test_ghs_179 = 12;
    if nonInlinable213(6) {
        Test_ghs_179 = 0;
        testFail198("bad");
    } else {
        Test_ghs_179 = 0;
        if (Test_ghs_179 == 0) {
            testSuccess431();
        } else {
        };
    };
}


function nonInlinable213(integer x188) returns boolean { 
    Test_ghs_179 = (Test_ghs_179 + 6);
    if (x_188 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail198(string msg101) { 
}


IS_NATIVE function testSuccess431() { 
}