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