__gnu_cxx::__pool_alloc(3cxx) on Linux

The text beac19980525, as Debian 6.0 (Squeeze) shipped it.

Allocator using a memory pool with a single lock.

__gnu_cxx::__pool_alloc(3cxx) on Linux now