fclose(stdout); stdout = fopen("standard-output-file", "w");