Symbol: libcrux_ml_kem_vector_portable_ntt_ntt_multiply_binomials