Symbol: asn1_encode_dh_rep_info