integer C_firstFree162 = 0
integer C_maxIndex332 = 0
integer wurst_stack_depth604 = 0


function initGlobals632() { 
}


function main137() { 
    initGlobals632();
}


function config188() { 
}