- MC_process_read(&mc_model_checker->process(), MC_ADDRESS_SPACE_READ_FLAGS_NONE,
- region->flat.data, permanent_addr, size,
- MC_PROCESS_INDEX_DISABLED);
+ mc_model_checker->process().read_bytes(region->flat.data, size,
+ (std::uint64_t)permanent_addr,
+ simgrid::mc::ProcessIndexDisabled);