let e_rshift = binop TERM.I_lsr