let e_int = function 0 -> e_zero | n -> Tint (string_of_int n)