#ifdef DECL_UNGETC
extern int ungetc (int c, FILE *stream);
#endif