function initGlobals138() { } function main400() { local integer blablub106 initGlobals138(); blablub_106 = GetRandomInt138(0, 100); println357(I2S179(blablub_106)); } function config104() { } IS_NATIVE IS_EXTERN @extern function GetRandomInt138(integer a156, integer b216) returns integer { } IS_NATIVE IS_EXTERN @extern function I2S179(integer i168) returns string { } IS_NATIVE function println357(string s168) { }