integer A_firstFree184 = 0
integer A_maxIndex632 = 0
integer wurst_stack_depth555 = 0


function initGlobals126() { 
}


function main283() { 
    initGlobals126();
}


function config201() { 
}