Symbol: _asn1_encode