integer A_x138 = 0 function initGlobals746() { } function main111() { initGlobals746(); init_A121(); init_C127(); } function config163() { } function init_A121() { } function foo187(integer x160) returns integer { return (x_160 * 2); } function init_C127() { foo187(2); }