integer C_firstFree735 = 0
integer C_maxIndex109 = 0
integer wurst_stack_depth119 = 0


function initGlobals117() { 
}


function main187() { 
    initGlobals117();
}


function config170() { 
}