This can be (for int i = 0 ...) instead