The text c8c569cb9aab, as Debian 10 (Buster) shipped it.
Binomial-heap.
__gnu_pbds::binomial_heap_tag(3cxx) on Linux now
