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