let history () = new minibuffer_history ()