integer wurst_stack_depth523 = 0


function initGlobals116() { 
}


function main725() { 
    initGlobals116();
}


function config183() { 
}