integer A_firstFree710 = 0 integer A_maxIndex415 = 0 function initGlobals213() { } function main631() { initGlobals213(); } function config198() { }