9581     uint8_t randomness[3U][504U], size_t *sampled_coefficients,  in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()
9590             Eurydice_array_to_subslice2(randomness[i1], r * (size_t)24U,  in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db()
9702     uint8_t randomness[3U][168U], size_t *sampled_coefficients,  in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db0()
9711             Eurydice_array_to_subslice2(randomness[i1], r * (size_t)24U,  in libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_db0()
9805       uint8_t randomness[3U][168U];  in libcrux_ml_kem_sampling_sample_from_xof_3f()  local
9807           &xof_state, randomness);  in libcrux_ml_kem_sampling_sample_from_xof_3f()
9810       memcpy(copy_of_randomness, randomness,  in libcrux_ml_kem_sampling_sample_from_xof_3f()
9999     Eurydice_slice randomness) {  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85()  argument
10002        i0 < Eurydice_slice_len(randomness, uint8_t) / (size_t)4U; i0++) {  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85()
10005         randomness, chunk_number * (size_t)4U,  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_2_85()
10045     Eurydice_slice randomness) {  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()  argument
10048        i0 < Eurydice_slice_len(randomness, uint8_t) / (size_t)3U; i0++) {  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()
10051         randomness, chunk_number * (size_t)3U,  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_3_eb()
10090     Eurydice_slice randomness) {  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_c6()  argument
10092       randomness);  in libcrux_ml_kem_sampling_sample_from_binomial_distribution_c6()
10807                                                      Eurydice_slice randomness,  in libcrux_ml_kem_ind_cpa_encrypt_60()  argument
10820   libcrux_ml_kem_utils_into_padded_array_ea2(randomness, prf_input);  in libcrux_ml_kem_ind_cpa_encrypt_60()
11044     Eurydice_slice randomness, uint8_t ret[32U]) {  in libcrux_ml_kem_variant_entropy_preprocess_d8_63()  argument
11047                       randomness, uint8_t);  in libcrux_ml_kem_variant_entropy_preprocess_d8_63()
11086     uint8_t randomness[32U]) {  in libcrux_ml_kem_ind_cca_encapsulate_cd()
11089       Eurydice_array_to_slice((size_t)32U, randomness, uint8_t), randomness0);  in libcrux_ml_kem_ind_cca_encapsulate_cd()
11160     uint8_t randomness[32U]) {  in libcrux_ml_kem_ind_cca_instantiations_portable_encapsulate_c6()
11164   memcpy(copy_of_randomness, randomness, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cca_instantiations_portable_encapsulate_c6()
11177     uint8_t randomness[32U]) {  in libcrux_ml_kem_mlkem768_portable_encapsulate()
11181   memcpy(copy_of_randomness, randomness, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_mlkem768_portable_encapsulate()
11557 libcrux_ml_kem_ind_cca_generate_keypair_8c(uint8_t randomness[64U]) {  in libcrux_ml_kem_ind_cca_generate_keypair_8c()
11559       randomness, (size_t)0U,  in libcrux_ml_kem_ind_cca_generate_keypair_8c()
11562       (size_t)64U, randomness,  in libcrux_ml_kem_ind_cca_generate_keypair_8c()
11607     uint8_t randomness[64U]) {  in libcrux_ml_kem_ind_cca_instantiations_portable_generate_keypair_d5()
11610   memcpy(copy_of_randomness, randomness, (size_t)64U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cca_instantiations_portable_generate_keypair_d5()
11618 libcrux_ml_kem_mlkem768_portable_generate_key_pair(uint8_t randomness[64U]) {  in libcrux_ml_kem_mlkem768_portable_generate_key_pair()
11621   memcpy(copy_of_randomness, randomness, (size_t)64U * sizeof(uint8_t));  in libcrux_ml_kem_mlkem768_portable_generate_key_pair()
11810     Eurydice_slice randomness, uint8_t ret[32U]) {  in libcrux_ml_kem_variant_entropy_preprocess_33_8a()  argument
11811   libcrux_ml_kem_hash_functions_portable_H_f1_1a(randomness, ret);  in libcrux_ml_kem_variant_entropy_preprocess_33_8a()
11835     uint8_t randomness[32U]) {  in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11838       Eurydice_array_to_slice((size_t)32U, randomness, uint8_t), randomness0);  in libcrux_ml_kem_ind_cca_encapsulate_cd0()
11913     uint8_t randomness[32U]) {  in libcrux_ml_kem_ind_cca_instantiations_portable_kyber_encapsulate_7a()
11917   memcpy(copy_of_randomness, randomness, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cca_instantiations_portable_kyber_encapsulate_7a()
11930     uint8_t randomness[32U]) {  in libcrux_ml_kem_mlkem768_portable_kyber_encapsulate()
11934   memcpy(copy_of_randomness, randomness, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_mlkem768_portable_kyber_encapsulate()
12055 libcrux_ml_kem_ind_cca_generate_keypair_8c0(uint8_t randomness[64U]) {  in libcrux_ml_kem_ind_cca_generate_keypair_8c0()
12057       randomness, (size_t)0U,  in libcrux_ml_kem_ind_cca_generate_keypair_8c0()
12060       (size_t)64U, randomness,  in libcrux_ml_kem_ind_cca_generate_keypair_8c0()
12102     uint8_t randomness[64U]) {  in libcrux_ml_kem_ind_cca_instantiations_portable_kyber_generate_keypair_9b()
12105   memcpy(copy_of_randomness, randomness, (size_t)64U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cca_instantiations_portable_kyber_generate_keypair_9b()
12114     uint8_t randomness[64U]) {  in libcrux_ml_kem_mlkem768_portable_kyber_generate_key_pair()
12117   memcpy(copy_of_randomness, randomness, (size_t)64U * sizeof(uint8_t));  in libcrux_ml_kem_mlkem768_portable_kyber_generate_key_pair()