class TEST1 [$FORMAL_2] feature make is do print ("Success%N") end end