vf_sexp_pp2	 467 src/sexp.c	vf_sexp_pp2(stdout, s, 0, 1, 0);
vf_sexp_pp2	 474 src/sexp.c	vf_sexp_pp2(fp,	s, 0, 1, 0);
vf_sexp_pp2	 481 src/sexp.c	vf_sexp_pp2(stdout, s, 0, 1, 1);
vf_sexp_pp2	 488 src/sexp.c	vf_sexp_pp2(fp,	s, 0, 1, 1);
vf_sexp_pp2	 568 src/sexp.c	vf_sexp_pp2(fp,	vf_sexp_car(t),	depth+1, 0, vflibcap_entry_flag);
vf_sexp_pp2	 577 src/sexp.c	vf_sexp_pp2(fp,	vf_sexp_car(t),	depth+1, 0, vflibcap_entry_flag);
vf_sexp_pp2	 555 src/sexp.c	  vf_sexp_pp2(fp, vf_sexp_car(t), depth+1, 1, 0);
vf_sexp_pp2	 547 src/sexp.c	    vf_sexp_pp2(fp, vf_sexp_car(s), depth+1, 0,	vflibcap_entry_flag);
vf_sexp_pp2	 549 src/sexp.c	    vf_sexp_pp2(fp, vf_sexp_car(vf_sexp_cdr(s)), depth+1, 0,
vf_sexp_pp2	 559 src/sexp.c	    vf_sexp_pp2(fp, vf_sexp_car(u), depth+2, 1,	0);
vf_sexp_pp2	 565 src/sexp.c	    vf_sexp_pp2(fp, vf_sexp_car(s), depth+1, 0,	vflibcap_entry_flag);
vf_sexp_pp2	 574 src/sexp.c	    vf_sexp_pp2(fp, vf_sexp_car(s), depth+1, vflibcap_entry_flag);