add bitvector-specific functions