2078   uint64_t uu____3 = libcrux_sha3_portable_keccak_rotate_left1_and_xor_5a(  in libcrux_sha3_generic_keccak_theta_rho_16()  local
2293   uint64_t(*uu____3)[5U] = s->st;  in libcrux_sha3_generic_keccak_absorb_final_c7()  local
2651   uint64_t(*uu____3)[5U] = s->st;  in libcrux_sha3_generic_keccak_absorb_final_c70()  local
2922   uint64_t(*uu____3)[5U] = s->st;  in libcrux_sha3_generic_keccak_absorb_final_c71()  local
3115   uint64_t(*uu____3)[5U] = s->st;  in libcrux_sha3_generic_keccak_absorb_final_c72()  local
3386   uint64_t(*uu____3)[5U] = s->st;  in libcrux_sha3_generic_keccak_absorb_final_c73()  local
3745   uint64_t(*uu____3)[5U] = s->st;  in libcrux_sha3_generic_keccak_absorb_final_c74()  local
4459   Eurydice_slice_uint8_t_1size_t__x2 uu____3 =  in libcrux_sha3_generic_keccak_squeeze_first_five_blocks_4f()  local
4610     Eurydice_slice uu____3[1U];  in libcrux_sha3_generic_keccak_absorb_full_9d_f8()  local
4741       Eurydice_slice uu____3 = Eurydice_array_to_subslice2(  in libcrux_sha3_generic_keccak_absorb_final_9d_25()  local
5064     Eurydice_slice uu____3[1U];  in libcrux_sha3_generic_keccak_absorb_full_9d_f80()  local
5192       Eurydice_slice uu____3 = Eurydice_array_to_subslice2(  in libcrux_sha3_generic_keccak_absorb_final_9d_250()  local
8065     size_t uu____3;  in libcrux_ml_kem_vector_portable_sampling_rej_sample()  local
10838   tuple_b0 uu____3 = libcrux_ml_kem_ind_cpa_sample_ring_element_cbd_ac(  in libcrux_ml_kem_ind_cpa_encrypt_60()  local
10951   Eurydice_slice_uint8_t_x2 uu____3 = Eurydice_slice_split_at(  in libcrux_ml_kem_ind_cca_decapsulate_70()  local
11511   uint8_t *uu____3 = out;  in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()  local
11716   Eurydice_slice_uint8_t_x2 uu____3 = Eurydice_slice_split_at(  in libcrux_ml_kem_ind_cca_decapsulate_700()  local