All accessible nonlocal variables reside in some ARI on the stack
The process of locating a nonlocal reference:
Find the correct ARI
Determine the correct offset within that ARI
Finding the offset is easy! It is statically determined
Finding the correct ARI:
Static semantic rules guarantee that all nonlocal variables that can be referenced have been allocated in some ARI that is on the stack when the reference is made
