crypto_kem_sntrup761_dec
int crypto_kem_sntrup761_dec(unsigned char *k,
decoded = crypto_kem_sntrup761_dec(kem_key, ciphertext,
(void)crypto_kem_sntrup761_dec(secret, ciphertext, zero_sk);
(void)crypto_kem_sntrup761_dec(secret, ciphertext, rnd_sk);