tag: factor out get_tagged_oid()