Symbol: bfs_result