defrecords are ICloneable