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