5 For pushing new values I can just force allocations.
9 So that there are no kludges and such, I can have a means where I can say to
10 pop all these values and then just say generate this moving code because
11 things will be destroyed. This way variables which alias other variables do
12 not get destroyed at all. This would mean that the deallocate operation must
13 fail if it is aliased by anything. This should be much safer.
17 However, I must consider swapping values. For example if an element on the
18 stack is dupped, then if it gets swapped, any entries which alias that entry
19 will have invalid aliases. So I need a special swap operation to be done where
20 it can be checked and such.