volatile int g_2[7];

void foo (unsigned);

int main (void)
{
  int i_459 = 0;
  int t2818;
  int t2819;
  volatile char *t2820;
  int t2821;
  volatile char *t2822;
  int *t2823;
  unsigned t2824;
LL655:
  t2822 = (volatile char *)g_2;
  t2821 = i_459;
  t2820 = t2822 + t2821;
  t2823 = (int *)t2820;
  t2824 = *t2823;
  foo (t2824);
  t2818 = i_459;
  t2819 = t2818 + 1;
  i_459 = t2819;
  goto LL655;
}