MAXMENUARGS       603 kern/startup/menu.c 	char *args[MAXMENUARGS];
MAXMENUARGS       613 kern/startup/menu.c 		if (nargs >= MAXMENUARGS) {