let
ssi_addr (_ : ssi) : int64 = raise (
Not_available
"ssi_addr"
)