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