The text b41e48bb932a, as Debian 10 (Buster) shipped it.
The standard allocator, as per [20.4].
std::allocator(3cxx) on Linux now
