integer test_x206 = 0
integer F_firstFree157 = 0
integer F_maxIndex704 = 0


function initGlobals823() { 
}


function main922() { 
    initGlobals823();
    init_test364();
}


function config130() { 
}


function init_test364() { 
}