function initGlobals139() { } function main137() { initGlobals139(); init_test861(); } function config877() { } function init_test861() { local integer x108 x_108 = 0; x_108 = (x_108 + 1); x_108 = x_108; I2S156(x_108); testSuccess130(); } IS_NATIVE IS_EXTERN @extern function I2S156(integer x929) returns string { } IS_NATIVE function testSuccess130() { }