(defparameter mk-ext::THAI (si::make-encoding :ISO-8859-11))
