tests for bitvectors