--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/auto-int.c	Fri Oct 19 14:06:22 2007 +0200
@@ -0,0 +1,40 @@
+#include "substdio.h"
+#include "readwrite.h"
+#include "exit.h"
+#include "scan.h"
+#include "fmt.h"
+
+char buf1[256];
+substdio ss1 = SUBSTDIO_FDBUF(write,1,buf1,sizeof(buf1));
+
+void puts(s)
+char *s;
+{
+  if (substdio_puts(&ss1,s) == -1) _exit(111);
+}
+
+void main(argc,argv)
+int argc;
+char **argv;
+{
+  char *name;
+  char *value;
+  unsigned long num;
+  char strnum[FMT_ULONG];
+
+  name = argv[1];
+  if (!name) _exit(100);
+  value = argv[2];
+  if (!value) _exit(100);
+
+  scan_ulong(value,&num);
+  strnum[fmt_ulong(strnum,num)] = 0;
+
+  puts("int ");
+  puts(name);
+  puts(" = ");
+  puts(strnum);
+  puts(";\n");
+  if (substdio_flush(&ss1) == -1) _exit(111);
+  _exit(0);
+}