diff --git a/tools/to_h.c b/tools/to_h.c
new file mode 100644
index 0000000..915437c
--- /dev/null
+++ b/tools/to_h.c
@@ -0,0 +1,31 @@
+#include <stdio.h>
+
+
+int
+main (int argc, char *argv)
+{
+  unsigned i, n;
+  unsigned char c;
+  int fd;
+
+  fd = open ("DEBUGOUTPUT", 0);
+
+
+  while (read (fd, &c, 1) == 1)
+    {
+      n = c;
+      printf ("    0x%02x, ", c);
+
+      for (i = 1; i < n; ++i)
+        {
+          if (!(i % 16))
+            {
+              printf ("\n");
+              printf ("        ");
+            }
+          read (fd, &c, 1);
+          printf ("0x%02x, ", c);
+        }
+      printf ("\n");
+    }
+}