fun main () : transaction page = id1 <- fresh; id2 <- fresh; s1 <- source ""; s2 <- source ""; which <- source False; return