How to convert bytes to `BitVector`?

[jling]

@jling

8 - rem(total_num_elements, 8))

actually, maybe the fix is that this should be

(64 - rem(total_num_elements, 64)) \div 8