carta

__gnu_profile::__reentrance_guard(3cxx) on Linux

The text 771e858040cd, as Debian 10 (Buster) shipped it.

Reentrance guard.

__gnu_profile::__reentrance_guard(3cxx) on Linux now