fun main () : transaction page = s <- source ; s1 <- source ; n <- source 0; return Hi v <- get n; set n (v + 1); set s Whoa!({[v]}) }/> Hi! set s1 Whoa!}/>