const char *name);
XBT_PUBLIC(void) MSG_create_environment(const char *file);
+XBT_PUBLIC(void) MSG_load_platform_script(const char *script_file);
XBT_PUBLIC(m_host_t) MSG_get_host_by_name(const char *name);
XBT_PUBLIC(int) MSG_get_host_number(void);