let
buffer_name_history = ref []