Symbol: bpf_verifier_state_list