integer test_i1577 = -2147483648 integer test_i2183 = 2147483647 integer test_i3115 = (0 + -2147483648) function initGlobals644() { } function main127() { initGlobals644(); init_test120(); } function config106() { } function init_test120() { }