let i_op = function
  | Iadd -> TERM.I_add
  | Isub -> TERM.I_sub
  | Imul -> TERM.I_mul
  | Idiv -> TERM.I_div
  | Imod -> TERM.I_mod