let ssi_trapno (_ : ssi) : int32 = raise (Not_available "ssi_trapno")