adam@1595: fun main () : transaction page = adam@1595: s <- source 0; adam@1595: n <- get s; adam@1595: set s (n + 1); adam@1595: n' <- get s; adam@1595: return {[n']}