class TEST
create
	make
feature
	make
		do
		end

	b: TEST1 [TEST1 [INTEGER]]
end