Incidentally, shouldn't all access to the object in the in contract be const by default anyways?
Hum, access to everything (including global variables, arguments), not just the object, should be const in a contract. That might be harder to implement though.
-- Michel Fortin michel.for...@michelf.com http://michelf.com/