static <A, B extends A> Set<A> setMinusSet_syncOnLatter(Set<A> l, Collection<B> stuff) {
  if (empty(stuff)) ret l;
  synchronized(stuff) {
    ret setMinusSet(l, stuff);
  }
}