style s1 style s2 fun main () : transaction page = src <- source s1; s <- source ""; toggle <- source False; return