integer A_x137 = 4
integer wurst_stack_depth149 = 0


function initGlobals566() { 
}


function main144() { 
    initGlobals566();
}


function config210() { 
}