All pre-existing packages except “COMMON-LISP-USER” belong to the
implementation, in the sense that the programs that do not follow
[sec_11-1-2-1-2]
(“Constraints on the ‘COMMON-LISP’ Package for Conforming Programs”)
cause undefined behavior.