MSG_mailbox_put_with_timeout(msg_mailbox_t mailbox, msg_task_t task,
double timeout);
+void MSG_mailbox_set_async(const char *alias);
+
+
/************************** Action handling **********************************/
msg_error_t MSG_action_trace_run(char *path);