class TEST0
feature
	to_test2: TEST2
		require
			ok: True
		do
		end
		
end