Index: generic/src/debug/print.c
===================================================================
--- generic/src/debug/print.c	(revision 5fe5f1e32929f169590b1157e7ea82b24585e0f0)
+++ generic/src/debug/print.c	(revision ba81cab60a5926ed0eb9888e74ef22a77ec9792e)
@@ -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++]))