-/** set of hosts for which one want to be notified if they ever restart */
-std::set<std::string, std::less<>>& watched_hosts() // avoid static initialization order fiasco
-{
- static std::set<std::string, std::less<>> value;
- return value;
-}
-
-extern std::map<std::string, simgrid::kernel::resource::StorageType*, std::less<>> storage_types;
-