fputwc
wint_t fputwc(wchar_t, FILE *);
#define putwc(wc, fp) fputwc(wc, fp)
#define putwchar(wc) fputwc(wc, __stdoutp)
ATF_REQUIRE_EQ(L'a', fputwc(L'a', fp));
fputwc(L'o', fp);
(void )fputwc(w, sockfp);