integer test_i1206 = -2147483648 integer test_i2902 = 2147483647 integer test_i3145 = (0 + -2147483648) function initGlobals178() { } function main314() { initGlobals178(); } function config102() { }