function initGlobals105() { 
}


function main201() { 
    initGlobals105();
    if ((1 + bar100(5)) == 11) {
        testSuccess505();
    } else {
    };
}


function config211() { 
}


function bar100(integer x526) returns integer { 
    if (x_526 > 0) {
        return (1 + (1 + bar100((x_526 - 1))));
    } else {
        return 0;
    };
}


IS_NATIVE function testSuccess505() { 
}