integer A_firstFree872 = 0
integer A_maxIndex195 = 0
integer wurst_stack_depth964 = 0


function initGlobals592() { 
}


function main111() { 
    initGlobals592();
}


function config881() { 
}