It's not mutable and it's not a stack in the model, that's just an implementation artifact used for efficiency. You could equally well allocate every function c

It's not mutable and it's not a stack in the model, that's just an implementation artifact used for efficiency. You could equally well allocate every function context on the heap.