val x = 1 fun main () : transaction page = s <- source "!"; return {[x]}}/>