Bryce McKinlay wrote: > Why is this? How can we make sure that the GC's threads code picks up > the correct semaphore functions? Actually, this seems to do the trick: