external
extern_identity :
'
a
->
'
a =
"%identity"