let e_bor    = binop TERM.I_bor