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