vf_sexp_skip	 722 src/sexp.c	ch = vf_sexp_skip(stream);
vf_sexp_skip	 729 src/sexp.c	    ch = vf_sexp_skip(stream);
vf_sexp_skip	 748 src/sexp.c	    ch = vf_sexp_skip(stream);