let mk_bwneg n a = mk_bitwise n a (mk_zero n) (mk_one n)