deferred class TEST2
feature
	val: READABLE_STRING_8
		once ("OBJECT")
			Result := generating_type.name
		end
	

end