let
max_menu_length = 10