m_task_t task = NULL;
MSG_task_get_with_timeout(&task, 0, DBL_MAX);
xbt_assert0(MSG_task_get_sender(task), "No sender received");
m_task_t task = NULL;
MSG_task_get_with_timeout(&task, 0, DBL_MAX);
xbt_assert0(MSG_task_get_sender(task), "No sender received");