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