std::__profile::unordered_set(3cxx) on Linux

The text 0f12056f10b6, as Debian 10 (Buster) shipped it.

Unordered_set wrapper with performance instrumentation.