let e_bxor   = binop TERM.I_bxor