integer wurst_stack_depth641 = 0


function initGlobals872() { 
}


function main143() { 
    initGlobals872();
}


function config412() { 
}