XBT_PUBLIC void simgrid_load_deployment(const char* filename);
XBT_PUBLIC void simgrid_run();
XBT_PUBLIC void simgrid_register_function(const char* name, int (*code)(int, char**));
XBT_PUBLIC void simgrid_load_deployment(const char* filename);
XBT_PUBLIC void simgrid_run();
XBT_PUBLIC void simgrid_register_function(const char* name, int (*code)(int, char**));