if (!process->cache_flags & MC_PROCESS_CACHE_FLAG_HEAP)
MC_process_refresh_heap(process);
// Refresh process->heapinfo:
if (!process->cache_flags & MC_PROCESS_CACHE_FLAG_HEAP)
MC_process_refresh_heap(process);
// Refresh process->heapinfo:
xbt_mheap_t heap = mmalloc_set_current_heap(mc_heap);
process->heap_info = (malloc_info*) realloc(process->heap_info,
xbt_mheap_t heap = mmalloc_set_current_heap(mc_heap);
process->heap_info = (malloc_info*) realloc(process->heap_info,