integer A_firstFree352 = 0
integer A_maxIndex747 = 0
integer wurst_stack_depth115 = 0


function initGlobals865() { 
}


function main682() { 
    initGlobals865();
}


function config214() { 
}