libcrux_ml_dsa_ntt_invert_ntt_montgomery_37
libcrux_ml_dsa_ntt_invert_ntt_montgomery_37(&t1.ptr[i1]);
libcrux_ml_dsa_ntt_invert_ntt_montgomery_37(&vector.ptr[i0]);
libcrux_ml_dsa_ntt_invert_ntt_montgomery_37(&result.ptr[i1]);
libcrux_ml_dsa_ntt_invert_ntt_montgomery_37(&result.ptr[i0]);