The text c9ce40c6b155, as Debian 9 (Stretch) shipped it.
Policy for shared __pool objects.
__gnu_cxx::__common_pool_policy(3cxx) on Linux now
