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