1
/*BINFMTC: -D_FILE_OFFSET_BITS=64
6
void writeandclose(FILE* a)
12
int main(int argc, char** argv)
14
/* test that the three args work. */
18
writeandclose(fopen(argv[1], "r"));
19
writeandclose(fopen(argv[2], "w"));
20
writeandclose(fopen(argv[3], "a"));