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