function initGlobals763() { } function main118() { initGlobals763(); if (5050 == f965(100)) { testSuccess173(); } else { }; } function config127() { } function f965(integer n118) returns integer { if (n_118 <= 0) { return 0; } else { }; return (n_118 + f965((n_118 - 1))); } IS_NATIVE function testSuccess173() { }