function initGlobals162() { } function main100() { initGlobals162(); init_test172(); } function config122() { } function init_test172() { local integer blub_a205 blub_a_205 = GetRandomInt202(0, 100); println877(I2S145(((blub_a_205 * 2) + blub_a_205))); } IS_NATIVE IS_EXTERN @extern function GetRandomInt202(integer a162, integer b213) returns integer { } IS_NATIVE IS_EXTERN @extern function I2S145(integer i688) returns string { } IS_NATIVE function println877(string s179) { }