# BitVec with padding A basic bitvector implementation with final byte padding to ensure safe serialization and deserialization.