Symbol: libcrux_ml_kem_polynomial_ZERO_ea