expanded class VALUE inherit MEMORY redefine copy, default_create end feature {NONE} -- Creation default_create -- Initialize with a default value. do create item end feature {VALUE} -- Access item: TEST -- An object that is moved during GC. feature -- Duplication copy (other: VALUE) -- <Precursor> do -- Trigger GC to move `other.item`. full_collect -- Use `other.item`. other.item.f -- Make sure the objects are equal. item := other.item end end