external ssi_addr : ssi -> int64 = "caml_extunix_ssi_addr"