+/** @addtogroup MSG_examples
+ *
+ * - <b>migration/migration.c</b> Demonstrates how to use the @ref
+ * MSG_process_migrate function to let processes change the host they
+ * run on after their start.
+ */
+
+xbt_mutex_t mutex = NULL;
+xbt_cond_t cond = NULL;
+static msg_process_t process_to_migrate = NULL;