Finally wired up the rest of read_file.