The text b74fb5ce7a34, as FreeBSD 12.3-RELEASE shipped it.
implementations of splay and red-black trees
SPLAY_EMPTY(3) on FreeBSD now
