cmdbanner          88 src/cmd/dist/a.h void	cmdbanner(int, char**);
cmdbanner          16 src/cmd/dist/main.c 	{"banner", cmdbanner},