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