integer wurst_stack_depth117 = 0 function initGlobals796() { } function main143() { initGlobals796(); } function config119() { }