1  volatile int g_2[7];
       2  
       3  void foo (unsigned);
       4  
       5  int main (void)
       6  {
       7    int i_459 = 0;
       8    int t2818;
       9    int t2819;
      10    volatile char *t2820;
      11    int t2821;
      12    volatile char *t2822;
      13    int *t2823;
      14    unsigned t2824;
      15  LL655:
      16    t2822 = (volatile char *)g_2;
      17    t2821 = i_459;
      18    t2820 = t2822 + t2821;
      19    t2823 = (int *)t2820;
      20    t2824 = *t2823;
      21    foo (t2824);
      22    t2818 = i_459;
      23    t2819 = t2818 + 1;
      24    i_459 = t2819;
      25    goto LL655;
      26  }
      27