(void) fprintf (stderr, "%s%s%s\n", s, colon, __strerror_r (errnum, buf, sizeof buf));
errstring = __strerror_r (errnum, buf, sizeof buf);  if (fwide (stderr, 0) > 0) (void) fwprintf (stderr, L"%s%s%s\n", s, colon, errstring); else (void) fprintf (stderr, "%s%s%s\n", s, colon, errstring);
perror (const char *s){  char buf[1024];  int errnum = errno;  const char *colon;  if (s == NULL || *s == '\0')    s = colon = "";  else    colon = ": ";  (void) fprintf (stderr, "%s%s%s\n",		  s, colon, __strerror_r (errnum, buf, sizeof buf));}