integer wurst_stack_depth149 = 0 function initGlobals106() { } function main909() { initGlobals106(); init_test635(); } function config132() { } function init_test635() { println427(I2S257(1)); println427(I2S257(2)); println427(I2S257(3)); println427(I2S257(4)); println427(I2S257(5)); println427(I2S257(6)); println427(I2S257(7)); println427(I2S257(8)); println427(I2S257(9)); testSuccess138(); } IS_NATIVE IS_EXTERN @extern function I2S257(integer x154) returns string { } IS_NATIVE function println427(string s912) { } IS_NATIVE function testSuccess138() { }