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