integer test_x157 = 0
integer F_firstFree165 = 0
integer F_maxIndex768 = 0


function initGlobals753() { 
}


function main160() { 
    initGlobals753();
}


function config177() { 
}