XBT_PUBLIC void* xbt_mheap_destroy(xbt_mheap_t md);
/* To get the heap used when using the legacy version malloc/free/realloc and such */
xbt_mheap_t mmalloc_get_current_heap(void);
XBT_PUBLIC void* xbt_mheap_destroy(xbt_mheap_t md);
/* To get the heap used when using the legacy version malloc/free/realloc and such */
xbt_mheap_t mmalloc_get_current_heap(void);