`process_one_file` seems like a bad name to me.