function initGlobals191() { } function main531() { initGlobals191(); init_test667(); } function config125() { } function init_test667() { if (5050 == f119(100)) { testSuccess155(); } else { }; } function f119(integer n144) returns integer { if (n_144 <= 0) { return 0; } else { }; return (n_144 + f119((n_144 - 1))); } IS_NATIVE function testSuccess155() { }