Ping on this series. Rob, I think I've addressed all your
Can you please verify?
I haven't tested it, but it reads OK. I'm OK with just extending
the valid count for bits set to one for now; we can add a new
argument later if a need arises for extending it to express new bits
set to zero.