__gnu_cxx::__pool_alloc(3cxx) on Linux

The text a3bb4840e71d, as Debian 11 (Bullseye) shipped it.

Allocator using a memory pool with a single lock.

__gnu_cxx::__pool_alloc(3cxx) on Linux now