#ifdef DECL_FREE
extern void free (void *);
#endif