public void flush() { if (byteBufferChanged) { theFile.Seek(offset, System.IO.SeekOrigin.Begin); theFile.Write(byteBuffer, 0, maxByte); byteBufferChanged = false; } }