procedure main()
   every write( 1 to 3 )  # 1, 2, 3  stops 'cos every resumes arg'
   while write( 1 to 3 )  # 1, 1, 1, ... infinite loop
end