integer wurst_stack_depth228 = 0


function initGlobals845() { 
}


function main156() { 
    initGlobals845();
    if ((1 + bar135(5)) == 11) {
        testSuccess195();
    } else {
    };
}


function config200() { 
}


function bar135(integer x205) returns integer { 
    if (x_205 > 0) {
        return (1 + (1 + bar135((x_205 - 1))));
    } else {
        return 0;
    };
}


IS_NATIVE function testSuccess195() { 
}