integer A_firstFree141 = 0
integer A_maxIndex110 = 0
integer B_firstFree727 = 0
integer B_maxIndex658 = 0


function initGlobals230() { 
}


function main412() { 
    initGlobals230();
}


function config159() { 
}