+#ifdef FEATURE_EXTENDED_STATISTICS
+extern void register_filter_for_statistics(const char *filter);
+extern void update_filter_statistics(const char *filter, int hits);
+extern void get_filter_statistics(const char *filter,
+ unsigned long long *executions,
+ unsigned long long *pages_modified,
+ unsigned long long *hits);
+#endif
+