extended bitvector intro