return (arg0.equals(arg1.deref())) ? null : arg1;
return (arg0.equals(arg1)) ? null : arg1;
	vDescriptor function(vDescriptor arg0, vDescriptor arg1) {		return (arg0.equals(arg1.deref())) ? null : arg1;	}