integer test_i1110 = -2147483648 integer test_i2745 = 2147483647 integer test_i3191 = (0 + -2147483648) function initGlobals555() { } function main178() { initGlobals555(); init_test137(); } function config133() { } function init_test137() { }