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