let e_int i = Tconst (c_int i)