// 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