The text 83a119feb12c, as Debian 8 (Jessie) shipped it.
__gnu_cxx::__detail::__mini_vector(3cxx) on Linux now
