integer A_x166 = 0
integer wurst_stack_depth307 = 0


function initGlobals641() { 
}


function main167() { 
    initGlobals641();
}


function config143() { 
}