fprintf (stdout, ...);