crypto_kem_mlkem768_enc_seeded
ASSERT_INT_EQ(crypto_kem_mlkem768_enc_seeded(ct, shared_secret,
int crypto_kem_mlkem768_enc_seeded(uint8_t ct[crypto_kem_mlkem768_CIPHERTEXTBYTES],
r = crypto_kem_mlkem768_enc_seeded(ct, shared_secret, pk, rnd);