test_bitvec
