H. S. Teoh: > At the very least, it would be nice to have access to x.old, as > Eiffel > allegedly allows, if we insist on letting x refer to the copy > of the > input value modified by the function body. OK. But if x is a reference to a data structure, the old (prestate) needs to be just a shallow copy. Bye, bearophile