} catch (simgrid::NetworkFailureException const&) {
// Shouldn't get in here after the on_exit function
in_catch_before_on_exit = not in_on_exit;
} catch (simgrid::NetworkFailureException const&) {
// Shouldn't get in here after the on_exit function
in_catch_before_on_exit = not in_on_exit;