integer test_x207 = 0
integer F_firstFree175 = 0
integer F_maxIndex164 = 0
integer wurst_stack_depth182 = 0


function initGlobals190() { 
}


function main172() { 
    initGlobals190();
}


function config103() { 
}