bitvector-test.why 803 Bytes