deref_tag_noverify 1853 refs.c         	o = deref_tag_noverify(o);
deref_tag_noverify   19 tag.h          extern struct object *deref_tag_noverify(struct object *);