Debugging BitVector
More Debugging BitVector