-/** Convert a string representation of the path into a array of `s_mc_record_item_t`
- */
-xbt_dynar_t MC_record_from_string(const char* data);
-
-/** Generate a string representation
-*
-* The current format is a ";"-delimited list of pairs:
-* "pid0,value0;pid2,value2;pid3,value3". The value can be
-* omitted is it is null.
-*/
-char* MC_record_stack_to_string(xbt_fifo_t stack);