collect_ptr hdr ptr tag

tag tag_type c_opaque_type::tag