integer test_i1106 = -2147483648 integer test_i2163 = 2147483647 integer test_i3140 = (0 + -2147483648) function initGlobals221() { } function main635() { initGlobals221(); } function config627() { }