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