Symbol: traverse_impl