libcrux_ml_kem_vector_portable_ntt_ntt_step
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta0, (size_t)0U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta0, (size_t)1U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta1, (size_t)4U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta1, (size_t)5U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta2, (size_t)8U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta2, (size_t)9U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta3, (size_t)12U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta3, (size_t)13U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta0, (size_t)0U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta0, (size_t)1U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta0, (size_t)2U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta0, (size_t)3U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta1, (size_t)8U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta1, (size_t)9U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta1, (size_t)10U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta1, (size_t)11U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)0U, (size_t)8U);
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)1U, (size_t)9U);
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)2U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)3U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)4U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)5U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)6U,
libcrux_ml_kem_vector_portable_ntt_ntt_step(&v, zeta, (size_t)7U,