external uint31_from_host : int -> int = "caml_extunix_htobe31"