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