let var a := 0 in (for x := 1 to 590000000 do a := a + x); a end