The text 7fc8f9e873cf, as Debian 7 (Wheezy) shipped it.
exit all threads in a process
exit_group(2) on Linux now
