whalemating        40 kern/include/test.h int whalemating(int, char **);
whalemating       554 kern/startup/menu.c 	{ "sp1",	whalemating },