integer wurst_stack_depth916 = 0 function initGlobals127() { } function main508() { initGlobals127(); println112(I2S137((GetRandomInt106(0, 100) * 2))); } function config117() { } IS_NATIVE IS_EXTERN @extern function GetRandomInt106(integer a135, integer b550) returns integer { } IS_NATIVE IS_EXTERN @extern function I2S137(integer i582) returns string { } IS_NATIVE function println112(string s132) { }