let e_rneg = unop TERM.R_opp