- /* If file_on_disk_fd, if it is not -1, is the file
- * descriptor, opened for reading, for file_on_disk. */
- int staging_fd;
-
- /* Number of times the file has been opened.
- * file_on_disk_fd can be closed when num_times_opened
- * is decremented to 0. */
- int staging_num_times_opened;