integer A_firstFree615 = 0
integer A_maxIndex924 = 0
integer B_firstFree718 = 0
integer B_maxIndex240 = 0


function initGlobals142() { 
}


function main691() { 
    initGlobals142();
}


function config211() { 
}