printf(?t,"-~a to ~a",a:2^31,a-1);