private void FlushRead() { // unwind cached data: if (ReadAheadCount > 0) { Seek(-ReadAheadCount, SeekOrigin.Current); } _bufferStart = _bufferCount = _pushedBackCount = 0; }