integer wurst_stack_depth147 = 0 function initGlobals179() { } function main438() { initGlobals179(); init_test476(); } function config210() { } function init_test476() { println170(I2S162(1)); println170(I2S162(2)); println170(I2S162(3)); println170(I2S162(4)); println170(I2S162(5)); println170(I2S162(6)); println170(I2S162(7)); println170(I2S162(8)); println170(I2S162(9)); testSuccess245(); } IS_NATIVE IS_EXTERN @extern function I2S162(integer x948) returns string { } IS_NATIVE function println170(string s102) { } IS_NATIVE function testSuccess245() { }