+smx_mutex_t smpi_host_mutex()
+{
+ smx_host_t host = SIMIX_host_self();
+ smpi_host_data_t hdata = (smpi_host_data_t)SIMIX_host_get_data(host);
+ return hdata->mutex;
+}
+
+smx_cond_t smpi_host_cond()
+{
+ smx_host_t host = SIMIX_host_self();
+ smpi_host_data_t hdata = (smpi_host_data_t)SIMIX_host_get_data(host);
+ return hdata->cond;
+}
+
+int smpi_run_simulation(int *argc, char **argv)