(defun char-ptr-points-to-null (char-ptr)
"Returns T if foreign character pointer refers to 'NULL' string. Only called for numeric entries"
;; Uses short cut and returns T if first character is #\N. It should
;; never be non-numeric
(defun char-ptr-points-to-null (char-ptr)
"Returns T if foreign character pointer refers to 'NULL' string. Only called for numeric entries"
;; Uses short cut and returns T if first character is #\N. It should
;; never be non-numeric