void print(const char *line, ...) { va_list args; if (!outputFile) outputFile = fopen(OUTPUT_FILE_NAME, "wt"); va_start(args, line); vprintf(line, args); vfprintf(outputFile, line, args); fflush(outputFile); va_end(args); } void fprint(FILE *stream, const char *line, ...) { va_list args; if (!outputFile) outputFile = fopen(OUTPUT_FILE_NAME, "wt"); va_start(args, line); vfprintf(stream, line, args); vfprintf(outputFile, line, args); fflush(outputFile); va_end(args); }