for statement
nint fib_pure_iter(int n) {
n  int a = 1;
n int b = 0;
n int old_a = 1;
n
n  for (int i = 0; i < n; i = i + 1)
n    {
n      old_a = a;
n      a = a + b;
n      b = old_a;
n    }
n  return b;
n}
n
Counter oriented
for (counter decl ; test ; incrs) stmt ;