The text 1def58093c9c, as Debian 10 (Buster) shipped it.
Exception possibly thrown by shared_ptr.
std::bad_weak_ptr(3cxx) on Linux now
