__gnu_cxx::__pool_alloc(3cxx) on Linux

The text 333c7031525a, as Debian 7 (Wheezy) shipped it.

__gnu_cxx::__pool_alloc(3cxx) on Linux now