#ifdef DECL_FPUTC
extern int fputc (int, FILE *);
#endif