let bitwise n = Bv(Bitwise(n))