cl-user> (defun test-foo () (eval `(defpackage :test-1 (:use))) (let* ((*package* (find-package :test-1)) (*print-readably* t) (*print-case* :upcase) (cons0 (read-from-string "CL:CONS"))) (prin1-to-string cons0))) test-foo cl-user> (test-foo) "COMMON-LISP:CONS" cl-user>