.

        When the counter is zero on entry and another thread is waiting for it
        to become larger than zero again, wake up that thread.

        rU