sequence s fun main () : transaction page = let fun getNext () = nextval s in s <- source 0; return