Hi, the admittedly now out-of-date documentation for const says, of class member functions, that the syntax for member functions which do not modify member variables should be invariant void foo() Does that mean that all "getter" property functions will have to be re-prototyped? As in class C { private int my_x; invariant int x() { return x; } } ?