// We manage C++ exception ourselves
catch (const std::exception& e) {
log_exception(xbt_log_priority_critical, "Uncaught exception", e);
// We manage C++ exception ourselves
catch (const std::exception& e) {
log_exception(xbt_log_priority_critical, "Uncaught exception", e);