integer A_firstFree138 = 0 integer A_maxIndex121 = 0 function initGlobals124() { } function main403() { initGlobals124(); } function config132() { }