Symbol: define_asn1