ungetc_not_eof
ungetc_not_eof (c, s);
ungetc_not_eof (c, s);
ungetc_not_eof ((unsigned char) *cmpp, s);
ungetc_not_eof ((unsigned char) *cmpp, s);
ungetc_not_eof ((unsigned char) *cmpp, s);
ungetc_not_eof ((unsigned char) *cmpp, s);
ungetc_not_eof ((unsigned char) *cmpp, s);
ungetc_not_eof (c, s);
ungetc_not_eof (c, s);
ungetc_not_eof (c, s);
ungetc_not_eof (c, s);