a small testcase for a bitvec issue I ran into - View it on GitHub