vf_sexp_read_from_file_stream 1325 src/sexp.c		s = vf_sexp_read_from_file_stream(stdin);
vf_sexp_read_from_file_stream 667 src/sexp.c	     return vf_sexp_read_from_file_stream(fp);