(defparameter mk-ext::WINDOWS-1255 (si::make-encoding :WINDOWS-CP1255))
