val (x, y) = (1, 2)

fun main () : transaction page = return <xml>
  {[x]} + {[y]} = {[x + y]}
</xml>