added bitvector