__putwc_xpg5
extern wint_t __putwc_xpg5(wint_t, __FILE *);
#define putwc __putwc_xpg5
extern wint_t __putwc_xpg5(wint_t, FILE *);
return (__putwc_xpg5(c, stdout));