crypto_kem_mlkem768_dec
ASSERT_INT_EQ(crypto_kem_mlkem768_dec(shared_secret2, ct, sk), 0);
int crypto_kem_mlkem768_dec(uint8_t shared_secret[crypto_kem_mlkem768_BYTES],
if (crypto_kem_mlkem768_dec(shared_secret, ciphertext,
if (crypto_kem_mlkem768_dec(shared_secret, ciphertext,