-/** Dump the path represented by a given stack in the log
- */
-XBT_INTERNAL void MC_record_dump_path(xbt_fifo_t stack);
-
-// ***** Replay
-
-/** Replay a path represented by the record items
- *
- * \param start Array of record item
- * \item count Number of record items
- */
-XBT_INTERNAL void MC_record_replay(mc_record_item_t start, size_t count);