menu_execute      704 kern/startup/menu.c 	menu_execute(args, 1);
menu_execute      709 kern/startup/menu.c 		menu_execute(buf, 0);