function initGlobals992() { } function main119() { initGlobals992(); init_test186(); } function config328() { } function init_test186() { local integer x136 x_136 = 0; x_136 = (x_136 + 1); x_136 = x_136; I2S165(x_136); testSuccess188(); } IS_NATIVE IS_EXTERN @extern function I2S165(integer x594) returns string { } IS_NATIVE function testSuccess188() { }