integer Hey_firstFree835 = 0 integer Hey_maxIndex786 = 0 integer wurst_stack_depth140 = 0 function initGlobals138() { } function main207() { initGlobals138(); } function config202() { }