vf_sexp_obj_validate 103 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 110 src/sexp.c	    vf_sexp_obj_validate(s->t.cons.car);
vf_sexp_obj_validate 118 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 125 src/sexp.c	    vf_sexp_obj_validate(s->t.cons.cdr);
vf_sexp_obj_validate 133 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 140 src/sexp.c	    vf_sexp_obj_validate(s->t.cons.car);
vf_sexp_obj_validate 148 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 155 src/sexp.c	    vf_sexp_obj_validate(s->t.cons.cdr);
vf_sexp_obj_validate 163 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 171 src/sexp.c	    vf_sexp_obj_validate(s->t.cons.cdr);
vf_sexp_obj_validate 172 src/sexp.c	    vf_sexp_obj_validate((s->t.cons.cdr)->t.cons.cdr);
vf_sexp_obj_validate 208 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 218 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 228 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 239 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 247 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 262 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 383 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 501 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate 1257 src/sexp.c	     vf_sexp_obj_validate(s);
vf_sexp_obj_validate 1294 src/sexp.c	     vf_sexp_obj_validate(s1);
vf_sexp_obj_validate 1295 src/sexp.c	     vf_sexp_obj_validate(s2);
vf_sexp_obj_validate  77 src/sexp.c	    vf_sexp_obj_validate(s);
vf_sexp_obj_validate  90 src/sexp.c	    vf_sexp_obj_validate(s);