function initGlobals557() { } function main733() { local integer x134 initGlobals557(); x_134 = 0; x_134 = (x_134 + 1); x_134 = x_134; I2S125(x_134); testSuccess166(); } function config769() { } IS_NATIVE IS_EXTERN @extern function I2S125(integer x897) returns string { } IS_NATIVE function testSuccess166() { }