public override void Flush()
                    {
                        if (!writable)
                        {
                            throw new InvalidOperationException();
                        }

                        if (maxlength != file.data.LongLength)
                        {
                            Array.Resize(ref file.data, (int)maxlength);
                        }

                        file.NotifyWritten();
                    }