t_output
t_output(cmd.infile, "-DRPC_TBL", DONT_EXTEND, cmd.outfile);
t_output(cmd.infile, "-DRPC_TBL", EXTEND, "_tbl.i");
static void t_output(const char *, const char *, int, const char *);