Symbol: alloc_tag_sub_check