XBT_PUBLIC void* xbt_mallocator_get(xbt_mallocator_t mallocator);
XBT_PUBLIC void xbt_mallocator_release(xbt_mallocator_t mallocator, void* object);
XBT_PUBLIC void* xbt_mallocator_get(xbt_mallocator_t mallocator);
XBT_PUBLIC void xbt_mallocator_release(xbt_mallocator_t mallocator, void* object);