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]}))
fun preWriter () = return Back
and main () = return