XBT_PRIVATE xbt_dynar_t MC_comm_patterns_dup(xbt_dynar_t state);
XBT_PRIVATE void MC_state_copy_incomplete_communications_pattern(simgrid::mc::State* state);
XBT_PRIVATE xbt_dynar_t MC_comm_patterns_dup(xbt_dynar_t state);
XBT_PRIVATE void MC_state_copy_incomplete_communications_pattern(simgrid::mc::State* state);