1 2 3 4 5 6
sequence seq table fred : {A : int, B : int} task initialize = setval seq 1; dml (INSERT INTO fred (A, B) VALUES (0, 1))