class A
feature
	f: ANY
		do
			Result := "A"
		end
end