XBT_PUBLIC(void) coll_help(const char *category, s_mpi_coll_description_t * table);
XBT_PUBLIC(int) find_coll_description(s_mpi_coll_description_t * table, char *name, const char *desc);
+XBT_PUBLIC_DATA(void) (*smpi_coll_cleanup_callback)(void);
+XBT_PUBLIC(void) smpi_coll_cleanup_mvapich2(void);
extern XBT_PRIVATE double smpi_wtime_sleep;
extern XBT_PRIVATE double smpi_iprobe_sleep;
extern XBT_PRIVATE double smpi_test_sleep;