The text 91aea12e7bfa, as Debian 10 (Buster) shipped it.
__gnu_pbds::detail::binary_heap(3cxx) on Linux now
