This import could just be `use std::io::{stdin, stdout, File};`