sequence seq fun increment () = nextval seq fun action () = src <- source 0; return {[n]}}/>