(defparameter mk-ext::CP437 (si::make-encoding :DOS-CP437))
