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