Dutch national flag problem - solved by three way sort