vf_debug	 116 src/vf.c		if (vf_debug('f'))
vf_debug	 128 src/vf.c		if (vf_debug('f'))
vf_debug	 301 src/vf.c		if (vf_debug('s'))
vf_debug	 306 src/vf.c		if (vf_debug('s'))
vf_debug	 287 src/vf.c		  if (vf_debug('s')){
vf_debug	 706 src/vf.c		  if (vf_debug('d')){
vf_debug	 310 src/vf.c		    if (vf_debug('s'))
vf_debug	 319 src/vf.c		    if (vf_debug('s'))
vf_debug	 323 src/vf.c		    if (vf_debug('s'))