miver, файл грузится в память, данные обрабатываются, затем записываются в начало того же файла, в конце размер файла подгоняется под размер новых данных. Но да, у нас такого нет. В DataToFile или в FileStream нужен метод doSetSize.