Symbol: __bfs_backwards