(defparameter ext::LATIN8 (ext::make-encoding 'ext::ISO-8859-8))