Symbol: bpf_copy_verifier_state