adam@1703: fun main () : transaction page = adam@1703: id1 <- fresh; adam@1703: id2 <- fresh; adam@1703: x <- source ; adam@1703: return adam@1703: Hi! adam@1703: Ho! adam@1703: adam@1703: