process_stream
static void process_stream(FILE *, const char *);
process_stream(stdin, "standard input");
process_stream(f, name);