tag	line	file	source code
pcxx_setup	149	init/main.c	extern void pcxx_setup(char *str, int *ints);
pcxx_setup	382	init/main.c	{ "digi=", pcxx_setup },