XBT_PRIVATE void MC_state_interleave_process(simgrid::mc::State* state, smx_process_t process);
XBT_PRIVATE unsigned int MC_state_interleave_size(simgrid::mc::State* state);
XBT_PRIVATE int MC_state_process_is_done(simgrid::mc::State* state, smx_process_t process);
XBT_PRIVATE void MC_state_interleave_process(simgrid::mc::State* state, smx_process_t process);
XBT_PRIVATE unsigned int MC_state_interleave_size(simgrid::mc::State* state);
XBT_PRIVATE int MC_state_process_is_done(simgrid::mc::State* state, smx_process_t process);