(in-package :cl-user)
(defpackage :test-package-1
  (:use :cl)
  (:nicknames :tp1)
  (:export :hi))
(in-package :test-package-1)
(defun hi () 'hY)

(in-package :cl-user)
(defpackage :test-package-2
  (:use :cl)
  (:export :hi))
(in-package :test-package-2)
(defun hi () 'hY)

(in-package :cl-user)
(defpackage :test-package-3
  (:use :cl)
  (:nicknames :tp3)
  (:export :hi))
(in-package :test-package-3)
(defun hi () 'hY)