static Set emptySet() {
  ret new HashSet;
}