The text 4f903c99eceb, as Debian 9 (Stretch) shipped it.
The standard allocator, as per [20.4].
std::allocator(3cxx) on Linux now
