__fxprintf
extern int __fxprintf (FILE *__fp, const char *__fmt, ...)
(void) __fxprintf (fp, "%s%s%s\n", s, colon, errstring);
(void) __fxprintf (NULL, "%s%s%s\n", s, colon, _(desc));
(void) __fxprintf (NULL, "%s%s%s\n", s, colon, _("Unknown signal"));
(void) __fxprintf (NULL, "%s", buf);