The text 9f40ce37fea5, as FreeBSD 9.2-RELEASE shipped it.
implementations of splay and red-black trees
SPLAY_MIN(3) on FreeBSD now
