#ifdef DECL_REALLOC
extern void * realloc (void *, size_t);
#endif