https://github.com/torvalds/linux/blob/master/kernel/bpf/verifier.c