integer wurst_stack_depth508 = 0 function initGlobals979() { } function main135() { initGlobals979(); init_test177(); } function config185() { } function init_test177() { foo187(3); foo187(4); } function foo187(integer x197) returns integer { if (x_197 > 0) { return x_197; } else { return (- x_197); }; }