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