#ifdef DECL_FCLOSE
extern int fclose (FILE *);
#endif