class
	TEST1

feature

	divide alias "/" (other: like Current): detachable like Current
		do
		end

end