Symbol: copy_verifier_state