Index: generic/src/debug/print.c
===================================================================
--- generic/src/debug/print.c	(revision 8a0b06695a60d76826cf1a5a0355fd078ace5d49)
+++ generic/src/debug/print.c	(revision 226a6541a5d20f6b543c006e6e2759ad76affadb)
@@ -51,4 +51,11 @@
 	int i = 0;
 	char c;
+	char errstr[] = "(NULL)";
+
+	if (str == NULL) {
+		while ((c = errstr[i++]))
+			putchar(c);
+		return;
+	}	
 	
 	while ((c = str[i++]))
Index: test/print/print1/test.c
===================================================================
--- test/print/print1/test.c	(revision 8a0b06695a60d76826cf1a5a0355fd078ace5d49)
+++ test/print/print1/test.c	(revision 226a6541a5d20f6b543c006e6e2759ad76affadb)
@@ -38,4 +38,5 @@
 	printf(" W  %W  %w \n",0x0123 ,0x0123);   
 	printf(" B  %B  %b \n",0x01 ,0x01);
+	printf(" Print to NULL '%s'\n",NULL);
 	return;
 }