Pasted

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);
}