let
history () =
new
minibuffer_history ()