set_input
extern void set_input(struct input_file *, FILE *, const char *);
set_input(i, f, path);
set_input(i, f, filename);
set_input(infile+0, stdin, "stdin");
set_input(infile, stdin, "stdin");