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