#ifdef DECL_FDOPEN
extern FILE *fdopen (int, const char *);
#endif