let var y := 0 in (1 ; for x := 0 to 50000000 do y := x ; y) end