class TEST1
feature
	try is
		do
		end

	xxx alias "@": INTEGER
	
	yyy alias "+": INTEGER

end