+ // Handling of receiving thread
+ xbt_mutex_t receiver_mutex;
+ xbt_cond_t receiver_cond;
+ m_process_t receiver_thread;
+ static int receiver_wrapper(int, char* []);
+ void receiver1(msg_comm_t& comm, m_task_t& task, const char* mbox);
+ int receiver();
+
+ // Used to test if a communication is over, and to destroy it if it is