public static Vector createCaseValueVector(List instances, Surrogate slot) {
    { Vector slotValues = Vector.newVector(instances.length());

      { int i = Stella.NULL_INTEGER;
        int iter000 = 0;
        int upperBound000 = instances.length() - 1;
        LogicObject inst = null;
        Cons iter001 = instances.theConsList;

        for (;(iter000 <= upperBound000) &&
                  (!(iter001 == Stella.NIL)); iter000 = iter000 + 1, iter001 = iter001.rest) {
          i = iter000;
          inst = ((LogicObject)(iter001.value));
          (slotValues.theArray)[i] = (LogicObject.getSlotValue(inst, slot));
        }
      }
      return (slotValues);
    }
  }