libcrux_ml_kem_ntt_ntt_at_layer_3_ea
libcrux_ml_kem_ntt_ntt_at_layer_3_ea(&zeta_i, re, (size_t)5U * (size_t)3328U);
libcrux_ml_kem_ntt_ntt_at_layer_3_ea(