public static Vector createCaseInstanceVector(Surrogate renamed_Class) {
    { Cons iterator = Logic.allClassInstances(renamed_Class);
      int num = iterator.length();
      Vector instances = Vector.newVector(num);

      { int i = Stella.NULL_INTEGER;
        int iter000 = 0;
        int upperBound000 = num - 1;
        Stella_Object inst = null;
        Cons iter001 = iterator;

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