Symbol: OSSL_DHKEM_LABEL_DKP_PRK