integer C_firstFree140 = 0
integer C_maxIndex426 = 0
integer wurst_stack_depth605 = 0


function initGlobals211() { 
}


function main923() { 
    initGlobals211();
}


function config859() { 
}