let i_zero = e_int 0