procedure main() write(-2^31," to ",2^31-1) end