external int31_from_host : int -> int = "caml_extunix_htobe31_signed"