Symbol: encode_asn_tag