XBT_PUBLIC void simgrid_register_function(const char* name, int (*code)(int, char**));
XBT_PUBLIC void simgrid_register_default(int (*code)(int, char**));
XBT_PUBLIC double simgrid_get_clock();
XBT_PUBLIC void simgrid_register_function(const char* name, int (*code)(int, char**));
XBT_PUBLIC void simgrid_register_default(int (*code)(int, char**));
XBT_PUBLIC double simgrid_get_clock();