+ MSG_task_receive(&task1, "mymailbox");
+ val1 = (long) MSG_task_get_data(task1);
+ MSG_task_destroy(task1);
+ XBT_INFO("Received %lu", val1);
+
+ MSG_task_receive(&task2, "mymailbox");
+ val2 = (long) MSG_task_get_data(task2);
+ MSG_task_destroy(task2);
+ XBT_INFO("Received %lu", val2);
+
+ XBT_INFO("OK");