This grabs both bits, without grabbing anything higher. So position 6 and higher are available and won't "contaminate" `noinfer` if they are nonzero. This is essentially the same as your suggestion but briefer.