'dutch national flag' sort a la edsger dijkstra