showmenu          450 kern/startup/menu.c 	showmenu("OS/161 operations menu", opsmenu);
showmenu          487 kern/startup/menu.c 	showmenu("OS/161 tests menu", testmenu);
showmenu          518 kern/startup/menu.c 	showmenu("OS/161 kernel menu", mainmenu);