- MC_process_read_dynar_element(&mc_model_checker->process(), &comm_addr,
- simcall_comm_waitany__get__comms(req), value, sizeof(comm_addr));
+ simgrid::mc::read_element(mc_model_checker->process(), &comm_addr,
+ remote(simcall_comm_waitany__get__comms(req)), value, sizeof(comm_addr));