integer test_i1617 = -2147483648
integer test_i2208 = 2147483647
integer test_i3107 = (0 + -2147483648)
integer wurst_stack_depth201 = 0


function initGlobals157() { 
}


function main705() { 
    initGlobals157();
}


function config214() { 
}