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