The text edc37ae485aa, as Debian 10 (Buster) shipped it.
join with a terminated thread
pthread_join(3) on Linux now
