-extern void mfree(xbt_mheap_t md, void *ptr);
-
-/* Allocate SIZE bytes allocated to ALIGNMENT bytes. */
-extern void *mmemalign(xbt_mheap_t md, size_t alignment, size_t size);
-
-/* Allocate SIZE bytes on a page boundary. */
-extern void *mvalloc(xbt_mheap_t md, size_t size);