Collect the state information.
parallel to varStack[], is type mutable?
memory pool
temporary storage
See Implementation
Collect the state information.