__fputwc_unlock
r = __fputwc_unlock(wc, fp);
if (__fputwc_unlock(*ws++, fp) == WEOF) {
wint_t __fputwc_unlock(wchar_t wc, FILE *fp);
return (__fputwc_unlock(wc, fp));