diff -r 000000000000 -r eeadadee24f6 auto-str.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/auto-str.c	Fri Oct 19 11:01:15 2007 +0200
@@ -0,0 +1,44 @@
+#include "buffer.h"
+#include "readwrite.h"
+#include "exit.h"
+
+char buf1[256];
+buffer ss1 = BUFFER_INIT(write,1,buf1,sizeof(buf1));
+
+void puts(s)
+char *s;
+{
+  if (buffer_puts(&ss1,s) == -1) _exit(111);
+}
+
+main(argc,argv)
+int argc;
+char **argv;
+{
+  char *name;
+  char *value;
+  unsigned char ch;
+  char octal[4];
+
+  name = argv[1];
+  if (!name) _exit(100);
+  value = argv[2];
+  if (!value) _exit(100);
+
+  puts("char ");
+  puts(name);
+  puts("[] = \"\\\n");
+
+  while (ch = *value++) {
+    puts("\\");
+    octal[3] = 0;
+    octal[2] = '0' + (ch & 7); ch >>= 3;
+    octal[1] = '0' + (ch & 7); ch >>= 3;
+    octal[0] = '0' + (ch & 7);
+    puts(octal);
+  }
+
+  puts("\\\n\";\n");
+  if (buffer_flush(&ss1) == -1) _exit(111);
+  _exit(0);
+}