integer C_firstFree153 = 0
integer C_maxIndex168 = 0
integer wurst_stack_depth189 = 0


function initGlobals687() { 
}


function main132() { 
    initGlobals687();
}


function config793() { 
}