print_insn_state
void print_insn_state(struct bpf_verifier_env *env, const struct bpf_verifier_state *vstate,
print_insn_state(env, this_branch, this_branch->curframe);
print_insn_state(env, this_branch, this_branch->curframe);
print_insn_state(env, this_branch, this_branch->curframe);
print_insn_state(env, state, state->curframe);