function initGlobals583() { 
}


function main676() { 
    initGlobals583();
    if ((1 + bar188(5)) == 11) {
        testSuccess123();
    } else {
    };
}


function config301() { 
}


function bar188(integer x871) returns integer { 
    if (x_871 > 0) {
        return (1 + (1 + bar188((x_871 - 1))));
    } else {
        return 0;
    };
}


IS_NATIVE function testSuccess123() { 
}