libcrux_ml_kem_polynomial_add_to_ring_element_d6_1b
libcrux_ml_kem_polynomial_add_to_ring_element_d6_1b(&t_as_ntt[i0],
libcrux_ml_kem_polynomial_add_to_ring_element_d6_1b(&result, &product);
libcrux_ml_kem_polynomial_add_to_ring_element_d6_1b(&result[i1],
libcrux_ml_kem_polynomial_add_to_ring_element_d6_1b(&result, &product);