Re: [Bordeaux-threads-devel] thread-join vs join-thread in API