The text 9b134472d985, as Debian 9 (Stretch) shipped it.
General balanced trees.
gb_sets(3erl) on Linux now
