let
e_cnst c =
Tconst
c