Passing top-level objects to the value proc