3 extern int testExe1lib(void);
5 int main(int argc
, const char* argv
[])
9 fprintf(stderr
, "Must specify output file.\n");
13 FILE* f
= fopen(argv
[1], "w");
16 fprintf(f
, "int generated_by_testExe1() { return 0; }\n");
21 fprintf(stderr
, "Error writing to %s\n", argv
[1]);