procedure main()
every write(seq(1))        # the most concise way
end