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