This is an input file.