integer test_x193 = 0
integer F_firstFree348 = 0
integer F_maxIndex258 = 0


function initGlobals198() { 
}


function main114() { 
    initGlobals198();
}


function config501() { 
}