-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);
+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);