let e_bnot   = unop TERM.I_bnot