class
	TEST9

inherit
	TEST6

feature

	query (a: INTEGER): REAL_64 is
		do
			Result := a / 3
		end

end