libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_68
libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_68(&result);
libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_68(&result.data[i1]);
libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_68(&result);