443614.  I will submit a new feature request and patch to threading.py and
libthreading.tex to address the bounded semaphore issue.