rand_r(3avr) on Linux

The text 2427c6f87c13, as Debian 12 (Bookworm) shipped it.

rand_r(3avr) on Linux now