updated bitvec.h