The contract for the BufferWindow and the low level pos is that if we have a BufferWindow and Pos is within it, then the LowLevel Pos is at the end of the BufferWindow If we do not have a BufferWindow, or Pos is outside of it, then LowLevel Pos is at Pos.