#ifdef DECL_PCLOSE
extern int pclose (FILE *);
#endif