#ifdef DECL_REWIND
extern void rewind (FILE *);
#endif