Symbol: asn1_encode_sequence