2499         Eurydice_slice_uint8_t_1size_t__x2 uu____5 =  in libcrux_sha3_generic_keccak_keccak_e9()  local
2858         Eurydice_slice_uint8_t_1size_t__x2 uu____5 =  in libcrux_sha3_generic_keccak_keccak_e90()  local
2986         Eurydice_slice_uint8_t_1size_t__x2 uu____5 =  in libcrux_sha3_generic_keccak_keccak_e91()  local
3593         Eurydice_slice_uint8_t_1size_t__x2 uu____5 =  in libcrux_sha3_generic_keccak_keccak_e92()  local
3952         Eurydice_slice_uint8_t_1size_t__x2 uu____5 =  in libcrux_sha3_generic_keccak_keccak_e93()  local
4248         Eurydice_slice_uint8_t_1size_t__x2 uu____5 =  in libcrux_sha3_generic_keccak_keccak_e94()  local
4752     size_t uu____5 = (size_t)136U - (size_t)1U;  in libcrux_sha3_generic_keccak_absorb_final_9d_25()  local
5203     size_t uu____5 = (size_t)168U - (size_t)1U;  in libcrux_sha3_generic_keccak_absorb_final_9d_250()  local
8067     size_t uu____5;  in libcrux_ml_kem_vector_portable_sampling_rej_sample()  local
10864   libcrux_ml_kem_polynomial_PolynomialRingElement_f0 uu____5[3U];  in libcrux_ml_kem_ind_cpa_encrypt_60()  local
10968   Eurydice_slice uu____5 = ind_cpa_public_key;  in libcrux_ml_kem_ind_cca_decapsulate_70()  local
11133   libcrux_ml_kem_mlkem768_MlKem768Ciphertext uu____5 = ciphertext0;  in libcrux_ml_kem_ind_cca_encapsulate_cd()  local
11513   size_t uu____5 = pointer;  in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()  local
11733   Eurydice_slice uu____5 = ind_cpa_public_key;  in libcrux_ml_kem_ind_cca_decapsulate_700()  local
11882   libcrux_ml_kem_mlkem768_MlKem768Ciphertext uu____5 = ciphertext0;  in libcrux_ml_kem_ind_cca_encapsulate_cd0()  local