integer A_firstFree171 = 0
integer A_maxIndex582 = 0
integer B_firstFree207 = 0
integer B_maxIndex809 = 0
integer wurst_stack_depth119 = 0


function initGlobals874() { 
}


function main139() { 
    initGlobals874();
}


function config107() { 
}