The text 2d37a9bba45b, as Debian 10 (Buster) shipped it.
Create and manipulate skiplists
skiplist(3tcl) on Linux now