integer I_firstFree310 = 0
integer I_maxIndex184 = 0
integer wurst_stack_depth131 = 0


function initGlobals102() { 
}


function main348() { 
    initGlobals102();
}


function config166() { 
}