integer A_firstFree147 = 0
integer A_maxIndex128 = 0
integer B_firstFree178 = 0
integer B_maxIndex140 = 0


function initGlobals891() { 
}


function main712() { 
    initGlobals891();
}


function config276() { 
}