integer test_x668 = 0
integer F_firstFree225 = 0
integer F_maxIndex144 = 0


function initGlobals214() { 
}


function main149() { 
    initGlobals214();
}


function config933() { 
}