class X

feature

	f is
		do
			t := "gobo"
			print (t.generating_type)
		end

	t: A

end