integer I_firstFree170 = 0 integer I_maxIndex177 = 0 function initGlobals558() { } function main661() { initGlobals558(); } function config114() { }