(defparameter ext::IBM437 (ext::make-encoding 'ext::DOS-CP437))