+void MSG_launch_application(const char* filename)
+{
+ sg_engine_load_deployment(filename);
+}
+void MSG_function_register(const char* name, xbt_main_func_t code)
+{
+ sg_engine_register_function(name, code);
+}
+void MSG_function_register_default(xbt_main_func_t code)
+{
+ sg_engine_register_default(code);
+}
+double MSG_get_clock()
+{
+ return sg_engine_get_clock();
+}