table t : {Id : int} cookie c : int fun setter r = setCookie c (readError r.Id); return Done fun writer () = ido <- getCookie c; case ido of None => error No cookie | Some id => dml (INSERT INTO t (Id) VALUES ({[id]})); return Done fun main () = return