adam@1544: fun main () : transaction page = return {[x <- Some 1; adam@1544: y <- Some 2; adam@1544: return (x + y)]}