Writing Dijkstra pseudocode.