FWIW, `File` is re-exported by `std::rt::io`, so these three imports can be `std::rt::io::{File, Truncate, Write, fs}` (or some other combination).