1 #ifndef ALLOC_H 2 #define ALLOC_H 3 4 extern /*@null@*//*@out@*/char *alloc(); 5 extern void alloc_free(); 6 extern int alloc_re(); 7 8 #endif 9