use fprintf(stdout, ...) instead printf(...)