Symbol: asn1_check_tag