Symbol: libcrux_ml_kem_polynomial_ntt_multiply_d6_ea