integer A_firstFree288 = 0
integer A_maxIndex495 = 0
integer wurst_stack_depth665 = 0


function initGlobals106() { 
}


function main652() { 
    initGlobals106();
}


function config137() { 
}