class TEST creation make feature {NONE} -- Creation make is do end feature -- Test a attribute end b () attribute end c (x: ANY) attribute end d (): STRING attribute end e (x: ANY): STRING attribute end end