-#ifdef HAVE_MC
-XBT_PUBLIC(xbt_parmap_t) xbt_parmap_mc_new(unsigned int num_workers,
- e_xbt_parmap_mode_t mode);
-
-XBT_PUBLIC(int) xbt_parmap_mc_apply(xbt_parmap_t parmap,
- int_f_pvoid_pvoid_t fun,
- void *data,
- unsigned int length,
- void* ref_snapshot);
-#endif