expanded class TEST1 feature set_a (a_a: like a) do a := a_a end a: ANY end