class TEST1
feature
	try is
		do
		end

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

end