With read_file() revamped to handle inserting a file at the current
position, partitioning the buffer is no longer needed.