((eq package (find-package "KEYWORD")))
(t (write-char (escape-token (package-name package)) stream)))
(write-char #\: stream)
((eq package (find-package "KEYWORD")))
(t (write-char (escape-token (package-name package)) stream)))
(write-char #\: stream)