function initGlobals179() { } function main560() { initGlobals179(); println142(I2S668((GetRandomInt143(0, 100) * 2))); } function config183() { } IS_NATIVE IS_EXTERN @extern function GetRandomInt143(integer a181, integer b162) returns integer { } IS_NATIVE IS_EXTERN @extern function I2S668(integer i476) returns string { } IS_NATIVE function println142(string s244) { }