+ // Handling of receiving thread
+ m_process_t receiver_process;
+ 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