function initGlobals293() { } function main863() { initGlobals293(); init_test602(); } function config644() { } function init_test602() { local integer a119 a_119 = int_add955(int_add955(int_add955(3, 4), 5), 6); if (a_119 == 18) { testSuccess467(); } else { }; } function int_add955(integer this155, integer x400) returns integer { return (this_155 + x_400); } IS_NATIVE function testSuccess467() { }