+static int server(int argc, char *argv[])
+{
+ msg_task_t task1 = NULL;
+ msg_task_t task2 = NULL;
+
+ MSG_task_receive(&task1, "mymailbox");
+ long val1 = xbt_str_parse_int(MSG_task_get_name(task1), "Task name is not a numerical ID: %s");
+ MSG_task_destroy(task1);
+ task1 = NULL;
+ XBT_INFO("Received %ld", val1);
+
+ MSG_task_receive(&task2, "mymailbox");
+ long val2 = xbt_str_parse_int(MSG_task_get_name(task2), "Task name is not a numerical ID: %s");
+ MSG_task_destroy(task2);
+ task2 = NULL;
+ XBT_INFO("Received %ld", val2);
+
+ MC_assert(MIN(val1, val2) == 1);
+
+ MSG_task_receive(&task1, "mymailbox");
+ val1 = xbt_str_parse_int(MSG_task_get_name(task1), "Task name is not a numerical ID: %s");
+ MSG_task_destroy(task1);
+ XBT_INFO("Received %ld", val1);
+
+ MSG_task_receive(&task2, "mymailbox");
+ val2 = xbt_str_parse_int(MSG_task_get_name(task2), "Task name is not a numerical ID: %s");
+ MSG_task_destroy(task2);
+ XBT_INFO("Received %ld", val2);
+
+ XBT_INFO("OK");