#ifdef DECL_FREAD
extern size_t fread (void *, size_t, size_t, FILE *);
#endif