class TEST inherit ANY redefine default_create end create make, default_create feature make do create x x.try end default_create do print ("In TEST default_create%N") end x: TEST1 [DOUBLE, INTEGER, TEST2 [DOUBLE, INTEGER]] end