integer test_x147 = 0 integer F_firstFree684 = 0 integer F_maxIndex646 = 0 function initGlobals791() { } function main192() { initGlobals791(); } function config189() { }