The text 669bb83e4dbc, as Debian 10 (Buster) shipped it.
GNU sequential classes for public use.
__gnu_sequential(3cxx) on Linux now
