let syntax_mode_history = Ed_minibuffer.history ()