vValue a[] = new vValue[values.length]; for (int i = 0; i < values.length; i++) { a[i] = values[i].deref(); } return a;
return this.mkArray();
vDescriptor[] mkArgs() {    vValue a[] = new vValue[values.length];    for (int i = 0; i < values.length; i++) {	a[i] = values[i].deref();    }    return a;}