CLITERAL
(CLITERAL(ret_t){ \
(CLITERAL(ret_t){ \
? (CLITERAL(ret_t){.tag = None}) \
: (CLITERAL(ret_t){.tag = Some, .f0 = (iter_ptr)->start++}))
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
CLITERAL(libcrux_ml_kem_mlkem768_MlKem768KeyPair){.sk = sk, .pk = pk});
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
(CLITERAL(core_ops_range_Range_b3){.start = (size_t)1U,
return (CLITERAL(uint8_t_x11){.fst = r0,
return (CLITERAL(int16_t_x8){.fst = r0,
(CLITERAL(core_ops_range_Range_b3){
return (CLITERAL(uint8_t_x4){
return (CLITERAL(int16_t_x8){.fst = v0,
return (CLITERAL(uint8_t_x5){
return (CLITERAL(int16_t_x8){.fst = v0,
return (CLITERAL(uint8_t_x5){
return (CLITERAL(int16_t_x8){.fst = r0,
return (CLITERAL(uint8_t_x3){.fst = r0, .snd = r1, .thd = r2});
return (CLITERAL(int16_t_x2){.fst = r0, .snd = r1});
CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector_x2){
(CLITERAL(Eurydice_slice){.ptr = (void *)(x + start), .len = end - start})
CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector_x2){