expanded class X
feature
	a: ANY
end