// Get config
-template <class T> XBT_PUBLIC T const& getConfig(const char* name);
+template <class T> XBT_PUBLIC T const& get_config(const char* name);
-extern template XBT_PUBLIC int const& getConfig<int>(const char* name);
-extern template XBT_PUBLIC double const& getConfig<double>(const char* name);
-extern template XBT_PUBLIC bool const& getConfig<bool>(const char* name);
-extern template XBT_PUBLIC std::string const& getConfig<std::string>(const char* name);
+extern template XBT_PUBLIC int const& get_config<int>(const char* name);
+extern template XBT_PUBLIC double const& get_config<double>(const char* name);
+extern template XBT_PUBLIC bool const& get_config<bool>(const char* name);
+extern template XBT_PUBLIC std::string const& get_config<std::string>(const char* name);
// Register: