class B 

feature
	foo is
		local
			t: THREAD
		do
			t := t
		end


end