integer A_firstFree524 = 0 integer A_maxIndex133 = 0 function initGlobals537() { } function main399() { initGlobals537(); } function config408() { }