vValue a[] = new vValue[v.size()]; for (int i = 0; i < a.length; i++) { a[i] = ((vDescriptor)v.elementAt(i)).deref(); } iUtil.sort(a); return iNew.List(a);
return iNew.List(iUtil.sort(this.mkArray()));
vValue Sort(vDescriptor n) {				// sort(L)    vValue a[] = new vValue[v.size()];    for (int i = 0; i < a.length; i++) {    	a[i] = ((vDescriptor)v.elementAt(i)).deref();    }    iUtil.sort(a);    return iNew.List(a);}