Symbol: asn1_encode_length