void *alloc_get(void *pool, unsigned long poolsize,
unsigned long size, unsigned long align);
void alloc_free(void *pool, unsigned long poolsize, void *free);
void *alloc_get(void *pool, unsigned long poolsize,
unsigned long size, unsigned long align);
void alloc_free(void *pool, unsigned long poolsize, void *free);