PLTers-
Just a quick note:
I am no longer confident that the mergesort implementation that I posted
yesterday is stable in any case.
So don't trust it.
I still stand by my assertion that we should provide a stable sort
library of some sort.
-Felix