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