external
t_of_sexp : t
->
t =
"%identity"