fprintf (stderr, ...);