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