The text 1e6b8eb0a10a, as Debian 10 (Buster) shipped it.
Marking input iterators.
std::input_iterator_tag(3cxx) on Linux now
