function initGlobals883() { } function main175() { initGlobals883(); init_test257(); } function config140() { } function init_test257() { if (5050 == f103(100)) { testSuccess505(); } else { }; } function f103(integer n124) returns integer { if (n_124 <= 0) { return 0; } else { }; return (n_124 + f103((n_124 - 1))); } IS_NATIVE function testSuccess505() { }