function initGlobals136() { } function main192() { initGlobals136(); init_test172(); } function config683() { } function init_test172() { if (5050 == f721(100)) { testSuccess504(); } else { }; } function f721(integer n174) returns integer { if (n_174 <= 0) { return 0; } else { }; return (n_174 + f721((n_174 - 1))); } IS_NATIVE function testSuccess504() { }