#ifndef _GGGGC_ALlOCATE_POOL_H_
#define _GGGGC_ALlOCATE_POOL_H_

#ifdef __cforall
extern "C" {
#endif

void* pal_allocPool(size_t size, int mustSucceed);

#ifdef __cforall
}
#endif

#endif