* @return HashSet
   */
  public static HashSet hashSet(Cons values) {
    { HashSet set = HashSet.newHashSet();

      { Stella_Object v = null;
        Cons iter000 = values;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          v = iter000.value;
          set.insertAt(v, v);
        }
      }
      return (set);
    }
  }