fun main () : transaction page = x <- source A; y <- source B; return {x}, {y}}/>
C}>Change x
D}>Change y