function initGlobals160() { 
}


function main153() { 
    initGlobals160();
    if (5050 == f130(100)) {
        testSuccess122();
    } else {
    };
}


function config199() { 
}


function f130(integer n788) returns integer { 
    if (n_788 <= 0) {
        return 0;
    } else {
    };
    return (n_788 + f130((n_788 - 1)));
}


IS_NATIVE function testSuccess122() { 
}