(defparameter ext::UTF-32BE (ext::make-encoding 'ext::UCS-4BE))