UserVariable readResolve()