Symbol: thread_walk_step