let e_cnst c = Tconst c