vCset result = new vCset((java.util.BitSet) this.t.clone());
vCset result = new vCset((java.util.BitSet) this.t);
vValue Diff(vDescriptor x) {    if (!(x instanceof vCset)) {        iRuntime.error(120, x);    }    java.util.BitSet b = ((vCset)x).t;    vCset result = new vCset((java.util.BitSet) this.t.clone());    for (int i = 0; i < b.size(); i++) {	if (b.get(i)) {	    result.t.clear(i);	}    }    return result;}