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