integer I_firstFree742 = 0
integer I_maxIndex571 = 0


function initGlobals394() { 
}


function main139() { 
    initGlobals394();
}


function config851() { 
}