class TEST1
feature
	try is
		do
		end

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

end