(defparameter ext::LATIN-7 (ext::make-encoding 'ext::ISO-8859-7))