integer F_firstFree520 = 0
integer F_maxIndex138 = 0
integer I_firstFree164 = 0
integer I_maxIndex167 = 0
integer wurst_stack_depth160 = 0


function initGlobals183() { 
}


function main967() { 
    initGlobals183();
}


function config184() { 
}