integer C_firstFree292 = 0
integer C_maxIndex210 = 0
integer wurst_stack_depth100 = 0


function initGlobals720() { 
}


function main556() { 
    initGlobals720();
}


function config120() { 
}