RUN: $(dijkstra_directed) CHECK: "Shortest path length: 8"