static <A> void waitWhileEmpty(SelfNotifyingSet<A> set) ctex {
  if (set == null) ret;
  synchronized(set) {
    while (set.isEmpty()) set.wait();
  }
}