1  contract GA =
2    record state = { secret : int }
3  
4    entrypoint init() = { secret = 0 }
5  
6    stateful entrypoint nonce_correct(s : int) : bool =
7      let ok = state.secret == s
8      put(state{secret = s + 1})
9      ok