xbt_ex::~xbt_ex() = default;
void _xbt_throw(char* message, xbt_errcat_t errcat, int value, const char* file, int line, const char* func)
xbt_ex::~xbt_ex() = default;
void _xbt_throw(char* message, xbt_errcat_t errcat, int value, const char* file, int line, const char* func)