let of_int x =       if x land 0x7FFF_FFFF = x then Some x else None