integer test_x357 = 0
integer F_firstFree825 = 0
integer F_maxIndex302 = 0
integer wurst_stack_depth415 = 0


function initGlobals337() { 
}


function main558() { 
    initGlobals337();
}


function config666() { 
}