diff -r 000000000000 -r eeadadee24f6 str_len.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/str_len.c	Fri Oct 19 11:01:15 2007 +0200
@@ -0,0 +1,14 @@
+#include "str.h"
+
+unsigned int str_len(char *s)
+{
+  register char *t;
+
+  t = s;
+  for (;;) {
+    if (!*t) return t - s; ++t;
+    if (!*t) return t - s; ++t;
+    if (!*t) return t - s; ++t;
+    if (!*t) return t - s; ++t;
+  }
+}