class TEST1 feature a, b: A make is do b := a end end