1static int seven = 7;
2static int *__attribute__((section("auto"))) auto_10 = &seven;
3
4int
5eight (void)
6{
7  extern int *__start_auto[], *__stop_auto[];
8  return *auto_10 + __stop_auto - __start_auto;
9}
10