Symbol: alloc_tag_read