integer wurst_stack_depth764 = 0


function initGlobals400() { 
}


function main417() { 
    initGlobals400();
}


function config127() { 
}