replace NULL char * by const char * "<undef>" in log messages as printf("%s", NULL) behavior is not formalized.