Embed Notice

@datalinkdroid @pkw @rat so you're pointing out that I should be using cl-prove in a natural way or something. But my test was ad hoc: Initially, some bitfield bits were meant to be one. My test reflected this. Later, they were meant to be zero, and all later tests reflected this. So I had a mixture of old and new ad hoc tests. I guess what you're saying is that this kind of quick test was not an appropriate approach at all, and I paid the price for my foolishness.