XBT_DEBUG("New region : type : %s, data : %p (real addr %p), size : %zu",
to_cstr(region_type), region.flat_data().get(), permanent_addr, size);
XBT_DEBUG("New region : type : %s, data : %p (real addr %p), size : %zu",
to_cstr(region_type), region.flat_data().get(), permanent_addr, size);