+m_host_t __MSG_host_create(const char *name, void *workstation,
+ void *data);
+void __MSG_host_destroy(m_host_t host);
+void __MSG_task_execute(m_process_t process, m_task_t task);
+MSG_error_t __MSG_wait_for_computation(m_process_t process, m_task_t task);