puts "#{t=-2**31} to #{-t-1}"