(defparameter EXT::ISO8859-3 (ext::make-encoding 'EXT::ISO-8859-3))