libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_f6
libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_f6(&result[i1]);
libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_f6(&result);
libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_f6(&result);