__ungetwc
wint_t __ungetwc(wint_t, FILE *);
r = __ungetwc(wc, fp);
__ungetwc(c, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(wi, fp);
__ungetwc(c, fp);
__ungetwc(*--p, fp);
__ungetwc(c, fp);
__ungetwc(c, fp);
__ungetwc(*--p, fp);
__ungetwc(c, fp);/* sign */
__ungetwc(c, fp);