__gnu_cxx::random_condition(3cxx) on Linux

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

Base class for random probability control and throw.

__gnu_cxx::random_condition(3cxx) on Linux now