- char* remote_name;
- MC_process_read_simple(&mc_model_checker->process(), &remote_name,
- synchro.comm.rdv ? &synchro.comm.rdv->name : &synchro.comm.rdv_cpy->name,
- sizeof(remote_name));
- pattern->rdv =
- MC_process_read_string(&mc_model_checker->process(), remote_name);
+ char* remote_name = mc_model_checker->process().read<char*>(
+ (std::uint64_t)(synchro.comm.rdv ? &synchro.comm.rdv->name : &synchro.comm.rdv_cpy->name));
+ pattern->rdv = mc_model_checker->process().read_string(remote_name);