Code

deref_tag: handle tag->tagged = NULL