integer Test_ghs134


integer Test_ghs134 = 12
integer wurst_stack_depth302 = 0


function initGlobals184() { 
}


function main202() { 
    initGlobals184();
    init_Test382();
}


function config169() { 
}


function init_Test382() { 
    Test_ghs_134 = 12;
    if nonInlinable112(6) {
        Test_ghs_134 = 0;
        testFail132("bad");
    } else {
        Test_ghs_134 = 0;
        if (Test_ghs_134 == 0) {
            testSuccess475();
        } else {
        };
    };
}


function nonInlinable112(integer x165) returns boolean { 
    Test_ghs_134 = (Test_ghs_134 + 6);
    if (x_165 > 6) {
        return true;
    } else {
        return false;
    };
}


IS_NATIVE function testFail132(string msg621) { 
}


IS_NATIVE function testSuccess475() { 
}