#ifdef DECL_MALLOC
extern void * malloc (size_t);
#endif