Symbol: libcrux_ml_kem_invert_ntt_invert_ntt_montgomery_f6