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