Command-line arguments for input files.