vf_sexp_read_from_stream 618 src/sexp.c	return vf_sexp_read_from_stream(&stream_obj);
vf_sexp_read_from_stream 661 src/sexp.c	return vf_sexp_read_from_stream(&stream_obj);