The text 9c07ba2b541c, as Debian 9 (Stretch) shipped it.
GNU profile code for public use.
__gnu_profile(3cxx) on Linux now
