process_named_file
static void process_named_file (const char *);
while (argc-->0) process_named_file(*argv++);