XBT_PUBLIC void model_help(const char* category, s_surf_model_description_t* table);
#define SIMGRID_REGISTER_PLUGIN(id, desc, init) \
XBT_PUBLIC void model_help(const char* category, s_surf_model_description_t* table);
#define SIMGRID_REGISTER_PLUGIN(id, desc, init) \