integer A_firstFree213 = 0
integer A_maxIndex234 = 0
integer wurst_stack_depth160 = 0


function initGlobals314() { 
}


function main763() { 
    initGlobals314();
}


function config728() { 
}