command_menu
void command_menu(char *);
{ "menu", command_menu },
{ "menu", command_menu },
void command_menu(char *);
void command_menu(char *);
{ "menu", command_menu, "menu" },