(defparameter mk-ext::LATIN7 (si::make-encoding :ISO-8859-13))
