Scopes for interpretation: make local storage identifiers unique accross function calls, if needed.

Stored elements of the environment.

unroll is the number of time a loop can be unrolled.