__gnu_cxx::__pool_alloc(3cxx) on Linux

The text e3d485419743, as Debian 9 (Stretch) shipped it.

Allocator using a memory pool with a single lock.

__gnu_cxx::__pool_alloc(3cxx) on Linux now