checkfiles
void checkfiles(void);
| definitions ENDFILE { enddefs(); checkfiles(); }
static void checkfiles(const char *, const char *);
checkfiles(cmd.infile, cmd.outfile);
checkfiles(cmd.infile, NULL);
checkfiles(infile, outfilename); /* check if outfile already
checkfiles(infile, outfilename); /* check if outfile already