The text f0d0239ecb42, as Debian 10 (Buster) shipped it.
reentrant random number generator
random_r(3) on Linux now
