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

end