integer I_firstFree132 = 0
integer I_maxIndex708 = 0


function initGlobals211() { 
}


function main694() { 
    initGlobals211();
}


function config134() { 
}