class TEST

create
	make

feature

	make
		do
			Current.try
		end;

	try
		require
			valid: valid
		do
		end
				
	valid: BOOLEAN = True

end