5905   uint8_t thd;  member
5978                                 .thd = r2,  in libcrux_ml_kem_vector_portable_serialize_serialize_11_int()
6002   result[2U] = r0_10.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_11()
6013   result[13U] = r11_21.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_11()
6038   int16_t thd;  member
6101                                .thd = r2,  in libcrux_ml_kem_vector_portable_serialize_deserialize_11_int()
6142   v.elements[2U] = v0_7.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_11()
6150   v.elements[10U] = v8_15.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_11()
7418   uint8_t thd;  member
7445       .fst = result0, .snd = result1, .thd = result2, .f3 = result3});  in libcrux_ml_kem_vector_portable_serialize_serialize_4_int()
7463   result[2U] = result0_3.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_4()
7467   result[6U] = result4_7.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_4()
7515                                .thd = v2,  in libcrux_ml_kem_vector_portable_serialize_deserialize_4_int()
7533   v.elements[2U] = v0_7.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_4()
7541   v.elements[10U] = v8_15.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_4()
7562   uint8_t thd;  member
7589       .fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4});  in libcrux_ml_kem_vector_portable_serialize_serialize_5_int()
7604   result[2U] = r0_4.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_5()
7609   result[7U] = r5_9.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_5()
7669                                .thd = v2,  in libcrux_ml_kem_vector_portable_serialize_deserialize_5_int()
7687   v.elements[2U] = v0_7.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_5()
7695   v.elements[10U] = v8_15.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_5()
7746       .fst = r0, .snd = r1, .thd = r2, .f3 = r3, .f4 = r4});  in libcrux_ml_kem_vector_portable_serialize_serialize_10_int()
7766   result[2U] = r0_4.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7771   result[7U] = r5_9.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7776   result[12U] = r10_14.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7781   result[17U] = r15_19.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_10()
7848                                .thd = r2,  in libcrux_ml_kem_vector_portable_serialize_deserialize_10_int()
7867   v.elements[2U] = v0_7.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_10()
7875   v.elements[10U] = v8_15.thd;  in libcrux_ml_kem_vector_portable_serialize_deserialize_10()
7896   uint8_t thd;  member
7912   return (CLITERAL(uint8_t_x3){.fst = r0, .snd = r1, .thd = r2});  in libcrux_ml_kem_vector_portable_serialize_serialize_12_int()
7942   result[2U] = r0_2.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7945   result[5U] = r3_5.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7948   result[8U] = r6_8.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7951   result[11U] = r9_11.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7954   result[14U] = r12_14.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7957   result[17U] = r15_17.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7960   result[20U] = r18_20.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()
7963   result[23U] = r21_23.thd;  in libcrux_ml_kem_vector_portable_serialize_serialize_12()