Example code:
int a[] = new int[]{0, 1, 2, 3}; int result = 0; for (int i : a) result += i;
Is the loop guaranteed to iterate across