// comm_addr = REMOTE(xbt_dynar_get_as(simcall_comm_waitany__get__comms(req), value, smx_synchro_t)):
simgrid::mc::read_element(mc_model_checker->process(), &addr,
remote(simcall_comm_waitany__get__comms(req)), value, sizeof(comm_addr));
// comm_addr = REMOTE(xbt_dynar_get_as(simcall_comm_waitany__get__comms(req), value, smx_synchro_t)):
simgrid::mc::read_element(mc_model_checker->process(), &addr,
remote(simcall_comm_waitany__get__comms(req)), value, sizeof(comm_addr));