bitvec hacks, while clever, do not work