__gnu_cxx::__pool_alloc(3cxx) on Linux

The text 22d45d1ed510, as Debian 12 (Bookworm) shipped it.

Allocator using a memory pool with a single lock.

__gnu_cxx::__pool_alloc(3cxx) on Linux now