--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/trim-nou8.c	Mon Aug 13 16:27:41 2007 +0200
@@ -0,0 +1,17 @@
+#include <stdio.h>
+
+int main()
+{
+    int i;
+    do
+    {
+        /* Unsigned char cast to int */
+        i = getchar();
+        if (i == EOF)
+            break;
+        if (i == '\n' || (i >= ' ' && i < 0xfe))
+            putchar(i);
+    } while(1);
+
+    return 0;
+}