3 int main(int argc
, const char* argv
[])
7 fprintf(stderr
, "Must specify output file.\n");
11 FILE* f
= fopen(argv
[1], "w");
14 fprintf(f
, "int generated_by_testExe3() { return 0; }\n");
19 fprintf(stderr
, "Error writing to %s\n", argv
[1]);