Symbol: hpke_kem_id_nist_curve