vValue[] mkArray() {
vValue[] mkArray(int errno) {
vValue[] mkArray() {    vValue a[] = new vValue[values.length];    for (int i = 0; i < values.length; i++) {	a[i] = values[i].Deref();    }    return a;}