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