class C [G]
feature
	i: G

end