Я знаю, что могу эффективно обрезать файл и удалить байты с конца файла.
Есть ли соответствующий эффективный способ обрезать файлы, удаляя содержимое с начала файла до середины файла?