00001 #ifndef ALLOC_H 00002 #define ALLOC_H 00003 00004 extern /*@null@*//*@out@*/char *alloc(); 00005 extern void alloc_free(); 00006 extern int alloc_re(); 00007 00008 #endif