by Isaac Peterson.  The bug caused the program to deadlock if signal() or
broadcast() was called at exactly the same time a wait_or_timeout() funciton timed
out.