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