/* To change the heap used when using the legacy version malloc/free/realloc and such */
void mmalloc_set_current_heap(xbt_mheap_t new_heap);
xbt_mheap_t mmalloc_get_current_heap(void);
int mmalloc_compare_heap(xbt_mheap_t mdp1, xbt_mheap_t mdp2);
/* To change the heap used when using the legacy version malloc/free/realloc and such */
void mmalloc_set_current_heap(xbt_mheap_t new_heap);
xbt_mheap_t mmalloc_get_current_heap(void);
int mmalloc_compare_heap(xbt_mheap_t mdp1, xbt_mheap_t mdp2);