let e_rop op = binop (r_op op)