dorev
static int dorev(FILE *, const char *);
rval += dorev(stdin, "stdin");
rval += dorev(fp, argv[i]);