3 int main(int argc
, char *argv
[])
7 fprintf(stderr
, "Usage: %s <file>\n", argv
[0]);
10 FILE *fp
= fopen(argv
[1],"w");
11 #ifdef GENERATOR_EXTERN
12 fprintf(fp
,"int generated() { return 3; }\n");
14 fprintf(fp
,"extern int gen_redirect(void);\n");
15 fprintf(fp
,"int generated() { return gen_redirect(); }\n");