8236     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_to_uncompressed_ring_element_af()  argument
8240        i < Eurydice_slice_len(serialized, uint8_t) / (size_t)24U; i++) {  in libcrux_ml_kem_serialize_deserialize_to_uncompressed_ring_element_af()
8243         serialized, i0 * (size_t)24U, i0 * (size_t)24U + (size_t)24U, uint8_t);  in libcrux_ml_kem_serialize_deserialize_to_uncompressed_ring_element_af()
8356     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_10_2c()  argument
8360        i < Eurydice_slice_len(serialized, uint8_t) / (size_t)20U; i++) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_10_2c()
8363         serialized, i0 * (size_t)20U, i0 * (size_t)20U + (size_t)20U, uint8_t);  in libcrux_ml_kem_serialize_deserialize_then_decompress_10_2c()
8420     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_11_8d()  argument
8424        i < Eurydice_slice_len(serialized, uint8_t) / (size_t)22U; i++) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_11_8d()
8427         serialized, i0 * (size_t)22U, i0 * (size_t)22U + (size_t)22U, uint8_t);  in libcrux_ml_kem_serialize_deserialize_then_decompress_11_8d()
8446     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_ring_element_u_34()  argument
8447   return libcrux_ml_kem_serialize_deserialize_then_decompress_10_2c(serialized);  in libcrux_ml_kem_serialize_deserialize_then_decompress_ring_element_u_34()
8725     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_4_41()  argument
8729        i < Eurydice_slice_len(serialized, uint8_t) / (size_t)8U; i++) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_4_41()
8732         serialized, i0 * (size_t)8U, i0 * (size_t)8U + (size_t)8U, uint8_t);  in libcrux_ml_kem_serialize_deserialize_then_decompress_4_41()
8789     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_5_4e()  argument
8793        i < Eurydice_slice_len(serialized, uint8_t) / (size_t)10U; i++) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_5_4e()
8796         serialized, i0 * (size_t)10U, i0 * (size_t)10U + (size_t)10U, uint8_t);  in libcrux_ml_kem_serialize_deserialize_then_decompress_5_4e()
8815     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_ring_element_v_56()  argument
8816   return libcrux_ml_kem_serialize_deserialize_then_decompress_4_41(serialized);  in libcrux_ml_kem_serialize_deserialize_then_decompress_ring_element_v_56()
9181   uint8_t serialized[32U] = {0U};  in libcrux_ml_kem_serialize_compress_then_serialize_message_aa()  local
9194         serialized, (size_t)2U * i0, (size_t)2U * i0 + (size_t)2U, uint8_t);  in libcrux_ml_kem_serialize_compress_then_serialize_message_aa()
9198   memcpy(ret, serialized, (size_t)32U * sizeof(uint8_t));  in libcrux_ml_kem_serialize_compress_then_serialize_message_aa()
9352     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_deserialize_to_reduced_ring_element_4c()  argument
9356        i < Eurydice_slice_len(serialized, uint8_t) / (size_t)24U; i++) {  in libcrux_ml_kem_serialize_deserialize_to_reduced_ring_element_4c()
9359         serialized, i0 * (size_t)24U, i0 * (size_t)24U + (size_t)24U, uint8_t);  in libcrux_ml_kem_serialize_deserialize_to_reduced_ring_element_4c()
10400     uint8_t serialized[32U]) {  in libcrux_ml_kem_serialize_deserialize_then_decompress_message_0d()
10408                 Eurydice_array_to_subslice2(serialized, (size_t)2U * i0,  in libcrux_ml_kem_serialize_deserialize_then_decompress_message_0d()
10525   uint8_t serialized[320U] = {0U};  in libcrux_ml_kem_serialize_compress_then_serialize_10_fc()  local
10536         serialized, (size_t)20U * i0, (size_t)20U * i0 + (size_t)20U, uint8_t);  in libcrux_ml_kem_serialize_compress_then_serialize_10_fc()
10540   memcpy(ret, serialized, (size_t)320U * sizeof(uint8_t));  in libcrux_ml_kem_serialize_compress_then_serialize_10_fc()
10586   uint8_t serialized[320U] = {0U};  in libcrux_ml_kem_serialize_compress_then_serialize_11_e1()  local
10597         serialized, (size_t)22U * i0, (size_t)22U * i0 + (size_t)22U, uint8_t);  in libcrux_ml_kem_serialize_compress_then_serialize_11_e1()
10601   memcpy(ret, serialized, (size_t)320U * sizeof(uint8_t));  in libcrux_ml_kem_serialize_compress_then_serialize_11_e1()
10697     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_compress_then_serialize_4_9a()  argument
10708         Eurydice_slice_subslice2(serialized, (size_t)8U * i0,  in libcrux_ml_kem_serialize_compress_then_serialize_4_9a()
10757     Eurydice_slice serialized) {  in libcrux_ml_kem_serialize_compress_then_serialize_5_1f()  argument
10768         Eurydice_slice_subslice2(serialized, (size_t)10U * i0,  in libcrux_ml_kem_serialize_compress_then_serialize_5_1f()
11325   uint8_t serialized[384U] = {0U};  in libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_5b()  local
11335         serialized, (size_t)24U * i0, (size_t)24U * i0 + (size_t)24U, uint8_t);  in libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_5b()
11339   memcpy(ret, serialized, (size_t)384U * sizeof(uint8_t));  in libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_5b()