Symbol: maybe_free_verifier_state