go through public API in BindingRepl#auto.