std::__profile(3cxx) on Linux

The text 4394902cf63c, as Debian 11 (Bullseye) shipped it. The page shows this text now.

GNU profile code, replaces standard behavior with profile behavior.