void sum(const int *arr, int len) {
   int tmp;
   int result;
   int i;
   result = 0;
   i = (⟨1⟩ → ⟨0⟩);
   while (⟨i < len⟩ → ⟨(i + 1) < len⟩) {
+    i = (i + 1);
     tmp = arr[i];
     result = (result + tmp);
     i = (⟨(i + 2)⟩ → ⟨(i + 1)⟩);
   };

 }