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