external ssi_stime : ssi -> int64 = "caml_extunix_ssi_stime"