vf_sexp_caddr	1201 src/drv_jtex.c	    s2 = vf_sexp_caddr(s);
vf_sexp_caddr	1223 src/drv_jtex.c	    s2 = vf_sexp_caddr(s);
vf_sexp_caddr	1224 src/drv_jtex.c	    s3 = vf_sexp_caddr(vf_sexp_cdr(s));
vf_sexp_caddr	1252 src/drv_jtex.c	    s2 = vf_sexp_caddr(s);
vf_sexp_caddr	1253 src/drv_jtex.c	    s3 = vf_sexp_caddr(vf_sexp_cdr(s));