Debugging the new bit-vector