;;; (ANSI on RENAME-PACKAGE: "The consequences are undefined if new-name or any
;;; new-nickname conflicts with any existing package names.")
(defun rename-package-carefully (package-designator
;;; (ANSI on RENAME-PACKAGE: "The consequences are undefined if new-name or any
;;; new-nickname conflicts with any existing package names.")
(defun rename-package-carefully (package-designator