for $inputfile (@ARGV) {
     process_file ($inputfile);
}