class TEST1
feature
	try is
		do
		end

	xxx alias "+": INTEGER
	
	prefix "@": INTEGER

end