Symbol: bpf_is_state_visited