The text a5297c39e92d, as Debian 12 (Bookworm) shipped it.
The standard allocator, as per C++03 [20.4.1].
std::allocator(3cxx) on Linux now
