integer wurst_stack_depth872 = 0 function initGlobals125() { } function main209() { initGlobals125(); } function config108() { }