let e_bnot   = unop "bnot"