Symbol: free_verifier_state