Symbol: ec_asn1_encode_bn