Symbol: thread_walk_states