we can't do a single shift because if n is 0 then a shift by 32 is undefined Check if all pre-read bits are 0, essentially Peek(AvailableBits()) == 0 (except that AvailableBits can be larger than 16, which Peek does not allow) If there are 0 pre-read bits, returns true
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected