std::__debug::vector(3cxx) on Linux

The text 1be6df8a1cd0, as Debian 9 (Stretch) shipped it.

Class std::vector with safety/checking/debug instrumentation.

std::__debug::vector(3cxx) on Linux now