let r_op = function
  | Radd -> TERM.R_add
  | Rsub -> TERM.R_sub
  | Rmul -> TERM.R_mul
  | Rdiv -> TERM.R_div