The text b6650c81cb57, as Debian 10 (Buster) shipped it.
exit all threads in a process
exit_group(2) on Linux now
