-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);
-MSG_error_t __MSG_task_wait_event(m_process_t process, m_task_t task);
+XBT_PUBLIC void __MSG_host_destroy(m_host_t host);
+XBT_PUBLIC void __MSG_task_execute(m_process_t process, m_task_t task);
+XBT_PUBLIC MSG_error_t __MSG_wait_for_computation(m_process_t process, m_task_t task);
+XBT_PUBLIC MSG_error_t __MSG_task_wait_event(m_process_t process, m_task_t task);