#ifdef DECL_FGETC
extern int fgetc (FILE * stream);
#endif