The text 0f979e7bd7dc, as Debian 10 (Buster) shipped it.
Policy for shared __pool objects.
__gnu_cxx::__common_pool_policy(3cxx) on Linux now
