mutable history = (None : minibuffer_history option)