external uint31_from_host : int -> int = "caml_extunix_htobe31" "noalloc"