integer F_firstFree309 = 0
integer F_maxIndex182 = 0
integer I_firstFree144 = 0
integer I_maxIndex105 = 0


function initGlobals494() { 
}


function main139() { 
    initGlobals494();
}


function config175() { 
}