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