Symbol: bpf_verifier_stack_elem