speed up the test suite by declaring bitvector appropriately