853   uint8_t ret0[32U];  in libcrux_ml_kem_constant_time_ops_compare_ciphertexts_select_shared_secret_in_constant_time()  local
855       lhs_s, rhs_s, selector, ret0);  in libcrux_ml_kem_constant_time_ops_compare_ciphertexts_select_shared_secret_in_constant_time()
856   memcpy(ret, ret0, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_constant_time_ops_compare_ciphertexts_select_shared_secret_in_constant_time()
1016   Eurydice_slice ret0[1U];  in libcrux_sha3_portable_keccak_slice_n_5a()  local
1017   libcrux_sha3_portable_keccak_slice_1(copy_of_a, start, len, ret0);  in libcrux_sha3_portable_keccak_slice_n_5a()
1018   memcpy(ret, ret0, (size_t)1U * sizeof(Eurydice_slice));  in libcrux_sha3_portable_keccak_slice_n_5a()
9247   uint8_t ret0[32U];  in libcrux_ml_kem_ind_cpa_decrypt_unpacked_6d()  local
9248   libcrux_ml_kem_serialize_compress_then_serialize_message_aa(message, ret0);  in libcrux_ml_kem_ind_cpa_decrypt_unpacked_6d()
9249   memcpy(ret, ret0, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cpa_decrypt_unpacked_6d()
9277   uint8_t ret0[32U];  in libcrux_ml_kem_ind_cpa_decrypt_43()  local
9279                                              ret0);  in libcrux_ml_kem_ind_cpa_decrypt_43()
9280   memcpy(ret, ret0, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cpa_decrypt_43()
9819   libcrux_ml_kem_polynomial_PolynomialRingElement_f0 ret0[3U];  in libcrux_ml_kem_sampling_sample_from_xof_3f()  local
9821     ret0[i] =  in libcrux_ml_kem_sampling_sample_from_xof_3f()
9825       ret, ret0,  in libcrux_ml_kem_sampling_sample_from_xof_3f()
10816   uint8_t ret0[34U];  in libcrux_ml_kem_ind_cpa_encrypt_60()  local
10817   libcrux_ml_kem_utils_into_padded_array_ea1(seed, ret0);  in libcrux_ml_kem_ind_cpa_encrypt_60()
10818   libcrux_ml_kem_matrix_sample_matrix_A_38(ret0, false, A);  in libcrux_ml_kem_ind_cpa_encrypt_60()
10978   uint8_t ret0[32U];  in libcrux_ml_kem_ind_cca_decapsulate_70()  local
10985       ret0);  in libcrux_ml_kem_ind_cca_decapsulate_70()
10986   memcpy(ret, ret0, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cca_decapsulate_70()
11206   uint8_t ret0[64U];  in libcrux_ml_kem_variant_cpa_keygen_seed_d8_0e()  local
11208       Eurydice_array_to_slice((size_t)33U, seed, uint8_t), ret0);  in libcrux_ml_kem_variant_cpa_keygen_seed_d8_0e()
11209   memcpy(ret, ret0, (size_t)64U * sizeof(uint8_t));  in libcrux_ml_kem_variant_cpa_keygen_seed_d8_0e()
11369     uint8_t ret0[384U];  in libcrux_ml_kem_ind_cpa_serialize_secret_key_b5()  local
11370     libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_5b(&re, ret0);  in libcrux_ml_kem_ind_cpa_serialize_secret_key_b5()
11372         uu____0, Eurydice_array_to_slice((size_t)384U, ret0, uint8_t), uint8_t);  in libcrux_ml_kem_ind_cpa_serialize_secret_key_b5()
11394   uint8_t ret0[1152U];  in libcrux_ml_kem_ind_cpa_serialize_public_key_79()  local
11395   libcrux_ml_kem_ind_cpa_serialize_secret_key_b5(t_as_ntt, ret0);  in libcrux_ml_kem_ind_cpa_serialize_public_key_79()
11397       uu____0, Eurydice_array_to_slice((size_t)1152U, ret0, uint8_t), uint8_t);  in libcrux_ml_kem_ind_cpa_serialize_public_key_79()
11518   uint8_t ret0[32U];  in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()  local
11519   libcrux_ml_kem_hash_functions_portable_H_f1_1a(public_key, ret0);  in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()
11521       uu____6, Eurydice_array_to_slice((size_t)32U, ret0, uint8_t), uint8_t);  in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()
11645   uint8_t ret0[32U];  in libcrux_ml_kem_variant_kdf_33_f0()  local
11650       ret0);  in libcrux_ml_kem_variant_kdf_33_f0()
11652       uu____0, Eurydice_array_to_slice((size_t)32U, ret0, uint8_t), uint8_t);  in libcrux_ml_kem_variant_kdf_33_f0()
11743   uint8_t ret0[32U];  in libcrux_ml_kem_ind_cca_decapsulate_700()  local
11750       ret0);  in libcrux_ml_kem_ind_cca_decapsulate_700()
11751   memcpy(ret, ret0, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_ind_cca_decapsulate_700()