adamc@338: sequence seq adamc@338: adamc@338: fun main () : transaction page = adamc@338: n <- nextval seq; adamc@338: return adamc@338: {txt _ n} adamc@338: