libcrux_ml_kem_polynomial_ntt_multiply_89_2a
libcrux_ml_kem_polynomial_ntt_multiply_89_2a(a_element, &r_as_ntt[j]);
libcrux_ml_kem_polynomial_ntt_multiply_89_2a(&t_as_ntt[i0],
libcrux_ml_kem_polynomial_ntt_multiply_89_2a(matrix_element,
libcrux_ml_kem_polynomial_ntt_multiply_89_2a(&secret_as_ntt[i0],