fprintf_l
int fprintf_l(FILE * __restrict, locale_t, const char * __restrict, ...)
(void) fprintf_l(stderr, loc, "\n");
else (void) fprintf_l(stderr, loc, "strftime format \"%s\" ",