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