The text b25d7cd730e6, as Debian 13 (Trixie) shipped it.
exit all threads in a process
exit_group(2) on Linux now
