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