debugging bitvector