Symbol: OSSL_DHKEM_LABEL_EAE_PRK