this is needed to allow us to record the location of a blocking semaphore to track down bugs where we have a semaphore deadlock