memcpy(ret.src, &mc_model_checker, sizeof(void*));
simgrid::mc::RegionSnapshot region2 =
simgrid::mc::sparse_region(simgrid::mc::RegionType::Unknown, ret.src, ret.src, ret.size);
memcpy(ret.src, &mc_model_checker, sizeof(void*));
simgrid::mc::RegionSnapshot region2 =
simgrid::mc::sparse_region(simgrid::mc::RegionType::Unknown, ret.src, ret.src, ret.size);