converge bitvec