class TEST4

feature

	f: STRING
		do
			if {loc: TEST} $OBJECT_TEST then
			end
		end


	object: ANY

	b: BOOLEAN

end