i = 0;
while (eye (2))
  i++;
  printf ("%d\n", i);
endwhile
