tag	line	file	source code
gvp11_setup	147	init/main.c	extern void gvp11_setup (char *str, int *ints);
gvp11_setup	383	init/main.c	{ "gvp11=", gvp11_setup },