vf_sexp_read_str 763 src/sexp.c	  return vf_sexp_read_str(stream, ch, s);
vf_sexp_read_str 766 src/sexp.c	  return vf_sexp_read_str(stream, ch, s);