while (1){ // I am an eternal emigrant
MSG_task_receive(&(task), "master_mailbox");
destination = (char*)MSG_task_get_data (task);
while (1){ // I am an eternal emigrant
MSG_task_receive(&(task), "master_mailbox");
destination = (char*)MSG_task_get_data (task);