(* Client-side, run an action every N milliseconds. *)
val timer : transaction {} -> int -> transaction {}