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