__gnu_cxx::__pool_alloc(3) on Linux

The text 5961cb887a6a, as Debian 5.0 (Lenny) shipped it.

__gnu_cxx::__pool_alloc(3) on Linux now