protected internal override void FlushBuffer(byte[] b, int offset, int size)
{
//Debug.Assert(IsOpen);
while (size > 0)
{
int toWrite = Math.Min(CHUNK_SIZE, size);
File.Write(b, offset, toWrite);
offset += toWrite;
size -= toWrite;
}
//Debug.Assert(size == 0);
}