__gnu_cxx::__pool_alloc(3cxx) on Linux

The text 85eb5ebee7ac, as Debian 10 (Buster) shipped it.

Allocator using a memory pool with a single lock.

__gnu_cxx::__pool_alloc(3cxx) on Linux now