integer test_x185 = 0 integer F_firstFree151 = 0 integer F_maxIndex882 = 0 function initGlobals203() { } function main193() { initGlobals203(); init_test110(); } function config812() { } function init_test110() { }