(defparameter ext::ASCII (ext::make-encoding 'ext::US-ASCII))