dav2str
name = dav2str(dav);
const char *dav2str(struct dwaval *);
name = dav2str(dav);
name = dav2str(dav);
name = dav2str(dav);
name = dav2str(dav);
name = dav2str(dav);
name = dav2str(dav);
name = dav2str(dav);
name = dav2str(dav);