{ if (_IO_fwide (stderr, 0) > 0) (void) __fwprintf (stderr, L"%s%s%s\n", s, colon, _("Unknown signal")); else (void) fprintf (stderr, "%s%s%s\n", s, colon, _("Unknown signal")); }
(void) __fxprintf (NULL, "%s%s%s\n", L"%s%s%s\n", s, colon, _("Unknown signal"));
psignal (int sig, const char *s){  const char *colon, *desc;  if (s == NULL || s == '\0')    s = colon = "";  else    colon = ": ";  if (sig >= 0 && sig < NSIG && (desc = INTUSE(_sys_siglist)[sig]) != NULL)    {      if (_IO_fwide (stderr, 0) > 0)	(void) __fwprintf (stderr, L"%s%s%s\n", s, colon, _(desc));      else	(void) fprintf (stderr, "%s%s%s\n", s, colon, _(desc));    }  else    {      char *buf;      if (__asprintf (&buf, _("%s%sUnknown signal %d\n"), s, colon, sig) < 0)	{	  if (_IO_fwide (stderr, 0) > 0)	    (void) __fwprintf (stderr, L"%s%s%s\n", s, colon, _("Unknown signal"));	  else	    (void) fprintf (stderr, "%s%s%s\n", s, colon, _("Unknown signal"));	}      else	{	  if (_IO_fwide (stderr, 0) > 0)	    (void) __fwprintf (stderr, L"%s",  buf);	  else	    (void) fputs (buf, stderr);	  free (buf);	}    }}