fun main () : transaction page = s <- source 0; set s 42; return