+/**
+Checks that an extension is supported and throws if it isn't.
+*/
+void require_extension(const std::string &);
+
+/**
+RAII version of require_extension. Useful as a static local variable.
+*/
+struct RequireExtension
+{
+ RequireExtension(const std::string &e) { require_extension(e); }
+};
+