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