I forgot to say in my previous post that I believe that automatic objects would almost need to be put onto the heap and then pointed to, because many objects change size over their life times. The vector I gave been a good example. I suppose it would still be possible to do that on the stack but stack managment would get "interesting".
So my quess is that there is some kind of transparent pointer mechanism, so these things look like they are on the stack.
