Symbol: libcrux_ml_kem_ind_cca_validate_private_key_only_d6