let
e_int i =
Tconst
(c_int i)