Started instrumenting blocks with semaphores for controlling thread interleaving. Semaphores need to be unlinked and closed.