(defparameter mk-ext::UCS-4 (si::make-encoding :UTF-32))
