m_host_t host, int argc, char **argv);
XBT_PUBLIC(void) MSG_process_kill(m_process_t process);
XBT_PUBLIC(int) MSG_process_killall(int reset_PIDs);
XBT_PUBLIC(MSG_error_t) MSG_process_change_host(m_process_t process, m_host_t host);
m_host_t host, int argc, char **argv);
XBT_PUBLIC(void) MSG_process_kill(m_process_t process);
XBT_PUBLIC(int) MSG_process_killall(int reset_PIDs);
XBT_PUBLIC(MSG_error_t) MSG_process_change_host(m_process_t process, m_host_t host);