VF_GetVersion	 179 src/vflserver.c	 printf("; (based on VFlib version %s)\n", VF_GetVersion());
VF_GetVersion	 909 src/vflserver.c	 printf("(100 \"%s\")\n", VF_GetVersion());
VF_GetVersion	 164 src/vflserver.c	   printf("based on VFlib %s ",	VF_GetVersion());
VF_GetVersion	 237 utils/vflx11-2.0.1/vflx11.c	 VFLX11_VERSION, VF_GetVersion());