bpf_mark_all_scalars_precise
void bpf_mark_all_scalars_precise(struct bpf_verifier_env *env,
bpf_mark_all_scalars_precise(env, starting_state);
bpf_mark_all_scalars_precise(env, starting_state);
bpf_mark_all_scalars_precise(env, &backedge->state);