vf_get_char_esc	1100 src/sexp.c	    (void) vf_get_char_esc(&p, NULL);
vf_get_char_esc	1113 src/sexp.c	    str_val->t.str[i] =	vf_get_char_esc(&q, NULL);
vf_get_char_esc	 985 src/sexp.c	    (void) vf_get_char_esc(&p, NULL);
vf_get_char_esc	 992 src/sexp.c	    str->t.str[i] = vf_get_char_esc(&q,	NULL);