let mk_bwiff n a1 a2 = mk_bitwise n a1 a2 (mk_bwneg n a2)