Symbol: traverse_state_t