integer test_i1575 = -2147483648
integer test_i2105 = 2147483647
integer test_i3117 = (0 + -2147483648)


function initGlobals872() { 
}


function main115() { 
    initGlobals872();
}


function config121() { 
}