__verifier_deleg_probe__