integer A_firstFree188 = 0
integer A_maxIndex136 = 0
integer wurst_stack_depth126 = 0


function initGlobals289() { 
}


function main144() { 
    initGlobals289();
}


function config260() { 
}