author liangqin.fan gmail @ storage class Stored { value : u32 ; } @ contract class Incrementer { private stored : Stored ; constructor ( ) { this . stored = new Stored ( ) ; } @ constructor default ( initValue ) { this . stored . value = initValue ; } @ message inc ( ) { let v = this . stored . value ; this . stored . value = ++ v ; } @ message ( mutates = false ) get ( ) { return this . stored . value ; } }