tty_menu_destroy 3408 src/term.c     	  tty_menu_destroy (menu->submenu[i]);
tty_menu_destroy 3457 src/term.c       tty_menu_destroy (data->menu);
tty_menu_destroy 3610 src/term.c     	      tty_menu_destroy (menu);
tty_menu_destroy 3670 src/term.c     	      tty_menu_destroy (menu);