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