indexing description: "Override class" class CLASS2 create {CLASS3} make feature make is do end feature {CLASS3} x: CLASS3 end