class A

feature

	f: like Current
		do
			Result := Current
		end
	
end