XBT_PRIVATE xbt_dynar_t MC_smx_process_info_list_new(void);
XBT_PRIVATE void MC_process_smx_refresh(simgrid::mc::Process* process);
XBT_PRIVATE xbt_dynar_t MC_smx_process_info_list_new(void);
XBT_PRIVATE void MC_process_smx_refresh(simgrid::mc::Process* process);