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; }