function initGlobals139() { 
}


function main127() { 
    local integer x154
    initGlobals139();
    x_154 = 5;
    if ((1 + bar925(x_154)) == 11) {
        testSuccess198();
    } else {
    };
}


function config161() { 
}


function bar925(integer x133) returns integer { 
    local integer x529
    if (x_133 > 0) {
        x_529 = (x_133 - 1);
        return (1 + (1 + bar925(x_529)));
    } else {
        return 0;
    };
}


IS_NATIVE function testSuccess198() { 
}