integer A_firstFree232 = 0
integer A_maxIndex641 = 0
integer wurst_stack_depth182 = 0


function initGlobals895() { 
}


function main193() { 
    initGlobals895();
}


function config599() { 
}