deferred class TEST_THREAD

feature

	execute is
		deferred
		end

	join_all is
		do
		end

	launch is
		do
		end

end