1 files changed, 6 insertions, 0 deletions
diff --git a/tool/debug_counter.rb b/tool/debug_counter.rb
new file mode 100644
index 0000000000..79c7b08269
--- /dev/null
+++ b/tool/debug_counter.rb
@@ -0,0 +1,6 @@
+
+ARGF.each_line{|line|
+  if /^\s+COUNTER\((.+)\),$/ =~ line
+    puts "\"#{$1}\","
+  end
+}