A dummy input file.
