function initGlobals131() { 
}


function main120() { 
    initGlobals131();
    init_test441();
}


function config419() { 
}


function init_test441() { 
    if (5050 == f647(100)) {
        testSuccess116();
    } else {
    };
}


function f647(integer n456) returns integer { 
    if (n_456 <= 0) {
        return 0;
    } else {
    };
    return (n_456 + f647((n_456 - 1)));
}


IS_NATIVE function testSuccess116() { 
}