XBT_PRIVATE void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region);
XBT_PRIVATE void MC_heap_region_ignore_remove(void *address, size_t size);
XBT_PRIVATE void MC_heap_region_ignore_insert(mc_heap_ignore_region_t region);
XBT_PRIVATE void MC_heap_region_ignore_remove(void *address, size_t size);