integer A_firstFree237 = 0
integer A_maxIndex719 = 0
integer wurst_stack_depth133 = 0


function initGlobals114() { 
}


function main472() { 
    initGlobals114();
}


function config114() { 
}