The text 8b9e01942e5d, as Debian 10 (Buster) shipped it.
Resize policy for binary heap.
__gnu_pbds::detail::resize_policy(3cxx) on Linux now
