The text 851a9d80a53d, as Debian 10 (Buster) shipped it.
std::discard_block_engine(3cxx) on Linux now
