integer I_firstFree377 = 0
integer I_maxIndex145 = 0
integer wurst_stack_depth340 = 0


function initGlobals192() { 
}


function main149() { 
    initGlobals192();
}


function config179() { 
}